Searched refs:smp_mb__after_unlock_lock (Results 1 – 4 of 4) 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
401 smp_mb__after_unlock_lock(); \409 smp_mb__after_unlock_lock(); \418 smp_mb__after_unlock_lock(); \429 smp_mb__after_unlock_lock(); \
62 smp_mb__after_unlock_lock(); \70 smp_mb__after_unlock_lock(); \79 smp_mb__after_unlock_lock(); \
882 #define smp_mb__after_unlock_lock() smp_mb() /* Full ordering for lock. */ macro884 #define smp_mb__after_unlock_lock() do { } while (0) macro
