__mod_timer      1074 kernel/time/timer.c 	return __mod_timer(timer, expires, MOD_TIMER_PENDING_ONLY);
__mod_timer      1100 kernel/time/timer.c 	return __mod_timer(timer, expires, 0);
__mod_timer      1115 kernel/time/timer.c 	return __mod_timer(timer, expires, MOD_TIMER_REDUCE);
__mod_timer      1894 kernel/time/timer.c 	__mod_timer(&timer.timer, expire, 0);