membarrier_switch_mm 2483 kernel/sched/sched.h static inline void membarrier_switch_mm(struct rq *rq, membarrier_switch_mm 2499 kernel/sched/sched.h static inline void membarrier_switch_mm(struct rq *rq,