Searched refs:smp_mb__after_unlock_lock (Results 1 – 6 of 6) sorted by relevance
9 #define smp_mb__after_unlock_lock() __sync_synchronize() macro17 #define smp_mb__after_unlock_lock() __CPROVER_fence("WWfence", "RRfence", "RWfence", "WRfence", \ macro
384 smp_mb__after_unlock_lock(); \392 smp_mb__after_unlock_lock(); \401 smp_mb__after_unlock_lock(); \412 smp_mb__after_unlock_lock(); \
54 smp_mb__after_unlock_lock(); \62 smp_mb__after_unlock_lock(); \71 smp_mb__after_unlock_lock(); \
850 #define smp_mb__after_unlock_lock() smp_mb() /* Full ordering for lock. */ macro852 #define smp_mb__after_unlock_lock() do { } while (0) macro
34 'after-unlock-lock (*smp_mb__after_unlock_lock*)
26 smp_mb__after_unlock_lock() { __fence{after-unlock-lock}; }
