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
401 smp_mb__after_unlock_lock(); \413 smp_mb__after_unlock_lock(); \425 smp_mb__after_unlock_lock(); \439 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(); \
1045 #define smp_mb__after_unlock_lock() smp_mb() /* Full ordering for lock. */ macro1047 #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()``.
Completed in 24 milliseconds