Searched refs:smp_mb__after_srcu_read_unlock (Results 1 – 3 of 3) sorted by relevance
200 static inline void smp_mb__after_srcu_read_unlock(void) in smp_mb__after_srcu_read_unlock() function
407 For SRCU readers, you can use smp_mb__after_srcu_read_unlock()
8138 smp_mb__after_srcu_read_unlock(); in vcpu_enter_guest()
