Symbol: sched_cpu_deactivate
include/linux/sched/hotplug.h
11
extern int sched_cpu_deactivate(unsigned int cpu);
kernel/cpu.c
2237
.teardown.single = sched_cpu_deactivate,