Symbol: sched_core_dequeue