Home
last modified time | relevance | path

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

/external/linux-kselftest/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
/external/ltp/include/
Dtst_atomic.h184 #define smp_mb() asm volatile("" : : : "memory") macro
186 #define smp_mb() asm volatile("dmb 3\n" : : : "memory") macro