Searched defs:arch_timer_int_handler (Results 1 – 2 of 2) sorted by relevance
54 void arch_timer_int_handler(void) in arch_timer_int_handler() function
72 void arch_timer_int_handler(void) in arch_timer_int_handler() function