debug_assert_init 1196 kernel/time/timer.c 	debug_assert_init(timer);
debug_assert_init 1221 kernel/time/timer.c 	debug_assert_init(timer);