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(); \392 smp_mb__after_unlock_lock(); \404 smp_mb__after_unlock_lock(); \418 smp_mb__after_unlock_lock(); \
54 smp_mb__after_unlock_lock(); \62 smp_mb__after_unlock_lock(); \71 smp_mb__after_unlock_lock(); \
958 #define smp_mb__after_unlock_lock() smp_mb() /* Full ordering for lock. */ macro960 #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 12 milliseconds