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
384 smp_mb__after_unlock_lock(); \396 smp_mb__after_unlock_lock(); \408 smp_mb__after_unlock_lock(); \422 smp_mb__after_unlock_lock(); \
84 smp_mb__after_unlock_lock(); \92 smp_mb__after_unlock_lock(); \101 smp_mb__after_unlock_lock(); \109 smp_mb__after_unlock_lock(); \
965 #define smp_mb__after_unlock_lock() smp_mb() /* Full ordering for lock. */ macro967 #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 this122 | need all of those calls to smp_mb__after_unlock_lock()? |249 ``smp_mb__after_unlock_lock()``.