Symbol: add_sched_event_wakeup