rseq_sched_switch_event
static inline void rseq_sched_switch_event(struct task_struct *t) { }
static __always_inline void rseq_sched_switch_event(struct task_struct *t)