Symbol: psi_sched_switch