20 #define isb(x) __asm__ __volatile__ ("mcr p15, 0, %0, c7, c5, 4" \  argument
22 #define dsb(x) __asm__ __volatile__ ("mcr p15, 0, %0, c7, c10, 4" \  argument
24 #define dmb(x) __asm__ __volatile__ ("mcr p15, 0, %0, c7, c10, 5" \  argument
27 #define isb(x) __asm__ __volatile__ ("mcr p15, 0, %0, c7, c5, 4" \  argument
29 #define dsb(x) __asm__ __volatile__ ("mcr p15, 0, %0, c7, c10, 4" \  argument
31 #define dmb(x) __asm__ __volatile__ ("" : : : "memory")  argument
33 #define isb(x) __asm__ __volatile__ ("" : : : "memory")  argument
34 #define dsb(x) __asm__ __volatile__ ("mcr p15, 0, %0, c7, c10, 4" \  argument
36 #define dmb(x) __asm__ __volatile__ ("" : : : "memory")  argument
42 #define __arm_heavy_mb(x...) do { dsb(x); arm_heavy_mb(); } while (0)  argument
44 #define __arm_heavy_mb(x...) dsb(x)  argument