Symbol: __preempt_schedule