MOD_TIMER_REDUCE  973 kernel/time/timer.c 		if (options & MOD_TIMER_REDUCE && diff <= 0)
MOD_TIMER_REDUCE  985 kernel/time/timer.c 		if (timer_pending(timer) && (options & MOD_TIMER_REDUCE) &&
MOD_TIMER_REDUCE 1000 kernel/time/timer.c 			if (!(options & MOD_TIMER_REDUCE))
MOD_TIMER_REDUCE 1115 kernel/time/timer.c 	return __mod_timer(timer, expires, MOD_TIMER_REDUCE);