__CPROVER_fence    15 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h #define smp_mb() __CPROVER_fence("WWfence", "RRfence", "RWfence", "WRfence", \
__CPROVER_fence    17 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h #define smp_mb__after_unlock_lock() __CPROVER_fence("WWfence", "RRfence", "RWfence", "WRfence", \
__CPROVER_fence    73 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	__CPROVER_fence("RRfence", "RWfence");
__CPROVER_fence    99 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	__CPROVER_fence("RWfence", "WWfence");