num_cpus_frozen  6337 kernel/sched/core.c static int num_cpus_frozen;
num_cpus_frozen  6357 kernel/sched/core.c 		if (--num_cpus_frozen)
num_cpus_frozen  6376 kernel/sched/core.c 		num_cpus_frozen++;