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);