Symbol: sched_cpu_wait_empty
include/linux/sched/hotplug.h
14
extern int sched_cpu_wait_empty(unsigned int cpu);
kernel/cpu.c
2188
.teardown.single = sched_cpu_wait_empty,