Home
last modified time | relevance | path

Searched defs:smp_mb (Results 1 – 5 of 5) sorted by relevance

/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
Dbarriers.h8 #define smp_mb() __sync_synchronize() macro
15 #define smp_mb() __CPROVER_fence("WWfence", "RRfence", "RWfence", "WRfence", \ macro
/tools/virtio/ringtest/
Dmain.h114 #define smp_mb() asm volatile("lock; addl $0,-132(%%rsp)" ::: "memory", "cc") macro
120 #define smp_mb() __sync_synchronize() macro
/tools/include/asm/
Dbarrier.h47 # define smp_mb() mb() macro
/tools/arch/arm64/include/asm/
Dbarrier.h23 #define smp_mb() asm volatile("dmb ish" ::: "memory") macro
/tools/arch/x86/include/asm/
Dbarrier.h29 #define smp_mb() asm volatile("lock; addl $0,-132(%%rsp)" ::: "memory", "cc") macro