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++;