__update_idle_core 1037 kernel/sched/sched.h extern void __update_idle_core(struct rq *rq);
__update_idle_core 1042 kernel/sched/sched.h 		__update_idle_core(rq);