smp_mb__after_unlock_lock  850 include/linux/rcupdate.h #define smp_mb__after_unlock_lock()	smp_mb()  /* Full ordering for lock. */
smp_mb__after_unlock_lock  852 include/linux/rcupdate.h #define smp_mb__after_unlock_lock()	do { } while (0)
smp_mb__after_unlock_lock    9 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h #define smp_mb__after_unlock_lock() __sync_synchronize()
smp_mb__after_unlock_lock   17 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h #define smp_mb__after_unlock_lock() __CPROVER_fence("WWfence", "RRfence", "RWfence", "WRfence", \