Searched refs:timer_int_handler (Results 1 – 3 of 3) sorted by relevance
10 int timer_int_handler(void);
70 int timer_int_handler(void) in timer_int_handler() function300 (irq_handler_t) timer_int_handler)) in boot_cpu_init_timer()
68 lapic_intr(_C_LABEL(timer_int_handler))