sync_smp_mb 27 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h #define sync_smp_mb() smp_mb() sync_smp_mb 29 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h #define sync_smp_mb() do {} while (0)