Symbol: handle_sched_switch