HK_FLAG_TICK     3708 kernel/sched/core.c 	if (housekeeping_cpu(cpu, HK_FLAG_TICK))
HK_FLAG_TICK     3729 kernel/sched/core.c 	if (housekeeping_cpu(cpu, HK_FLAG_TICK))
HK_FLAG_TICK       73 kernel/sched/isolation.c 	if (housekeeping_flags & HK_FLAG_TICK)
HK_FLAG_TICK      121 kernel/sched/isolation.c 	if ((flags & HK_FLAG_TICK) && !(housekeeping_flags & HK_FLAG_TICK)) {
HK_FLAG_TICK      143 kernel/sched/isolation.c 	flags = HK_FLAG_TICK | HK_FLAG_WQ | HK_FLAG_TIMER | HK_FLAG_RCU | HK_FLAG_MISC;
HK_FLAG_TICK      156 kernel/sched/isolation.c 			flags |= HK_FLAG_TICK;