Symbol: MOD_TIMER_REDUCE
kernel/time/timer.c
1042
if (options & MOD_TIMER_REDUCE && diff <= 0)
kernel/time/timer.c
1062
if (timer_pending(timer) && (options & MOD_TIMER_REDUCE) &&
kernel/time/timer.c
1077
if (!(options & MOD_TIMER_REDUCE))
kernel/time/timer.c
1221
return __mod_timer(timer, expires, MOD_TIMER_REDUCE);