stub_timer        651 kernel/time/timer.c 		timer_setup(timer, stub_timer, 0);
stub_timer        690 kernel/time/timer.c 		timer_setup(timer, stub_timer, 0);