CPU_IDLE         3771 kernel/sched.c 				  sd, CPU_IDLE))
CPU_IDLE         3878 kernel/sched.c 		if (idle != CPU_IDLE)
CPU_IDLE         3942 kernel/sched.c 						CPU_IDLE : CPU_NOT_IDLE;
CPU_IDLE         3968 kernel/sched.c 			rebalance_domains(balance_cpu, CPU_IDLE);
CPU_IDLE           47 kernel/sched_stats.h 			for (itype = CPU_IDLE; itype < CPU_MAX_IDLE_TYPES;