set_cpu_active   2362 kernel/cpu.c   	set_cpu_active(cpu, true);
set_cpu_active   6394 kernel/sched/core.c 	set_cpu_active(cpu, true);
set_cpu_active   6424 kernel/sched/core.c 	set_cpu_active(cpu, false);
set_cpu_active   6447 kernel/sched/core.c 		set_cpu_active(cpu, true);