Searched refs:smp_mb__after_unlock_lock (Results 1 – 7 of 7) 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
380 smp_mb__after_unlock_lock(); \388 smp_mb__after_unlock_lock(); \397 smp_mb__after_unlock_lock(); \408 smp_mb__after_unlock_lock(); \
54 smp_mb__after_unlock_lock(); \62 smp_mb__after_unlock_lock(); \71 smp_mb__after_unlock_lock(); \
941 #define smp_mb__after_unlock_lock() smp_mb() /* Full ordering for lock. */ macro943 #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}; }
59 ``raw_spin_trylock_rcu_node()``, all invoke ``smp_mb__after_unlock_lock()``109 Without the ``smp_mb__after_unlock_lock()`` provided by the112 The ``smp_mb__after_unlock_lock()`` invocations prevent this225 ``smp_mb__after_unlock_lock()``.