Symbol: __sched_core_flip