HK_FLAG_SCHED 9572 kernel/sched/fair.c if (!housekeeping_cpu(cpu, HK_FLAG_SCHED)) HK_FLAG_SCHED 9760 kernel/sched/fair.c if (!housekeeping_cpu(this_cpu, HK_FLAG_SCHED))