Home
last modified time | relevance | path

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

/Linux-v4.19/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
/Linux-v4.19/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
/Linux-v4.19/include/asm-generic/
Dbarrier.h76 #define smp_mb() __smp_mb() macro
94 #define smp_mb() barrier() macro