rs_smp_mb          33 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h #define rs_smp_mb() smp_mb()
rs_smp_mb          35 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h #define rs_smp_mb() do {} while (0)