Symbol: sched_core_idle_cpu
include/linux/sched.h
2334
extern int sched_core_idle_cpu(int cpu);
kernel/softirq.c
695
if ((sched_core_idle_cpu(cpu) && !need_resched()) || tick_nohz_full_cpu(cpu)) {