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)