NOHZ_MODE_HIGHRES  330 kernel/time/tick-sched.c 			if (ts->nohz_mode == NOHZ_MODE_HIGHRES)
NOHZ_MODE_HIGHRES  343 kernel/time/tick-sched.c 		if (ts->nohz_mode == NOHZ_MODE_HIGHRES) {
NOHZ_MODE_HIGHRES  440 kernel/time/tick-sched.c 		if (ts->nohz_mode == NOHZ_MODE_HIGHRES) {
NOHZ_MODE_HIGHRES  658 kernel/time/tick-sched.c 		ts->nohz_mode = NOHZ_MODE_HIGHRES;