Symbol: rseq_sched_switch_event