NOHZ_MODE_HIGHRES  641 kernel/time/tick-sched.c 	if (ts->nohz_mode == NOHZ_MODE_HIGHRES) {
NOHZ_MODE_HIGHRES  805 kernel/time/tick-sched.c 		if (ts->nohz_mode == NOHZ_MODE_HIGHRES)
NOHZ_MODE_HIGHRES  810 kernel/time/tick-sched.c 	if (ts->nohz_mode == NOHZ_MODE_HIGHRES) {
NOHZ_MODE_HIGHRES 1353 kernel/time/tick-sched.c 	tick_nohz_activate(ts, NOHZ_MODE_HIGHRES);