rebalance_domains 3944 kernel/sched.c 	rebalance_domains(this_cpu, idle);
rebalance_domains 3968 kernel/sched.c 			rebalance_domains(balance_cpu, CPU_IDLE);