Searched refs:__timer_interrupt (Results 1 – 1 of 1) sorted by relevance
484 static void __timer_interrupt(void) in __timer_interrupt() function564 __timer_interrupt(); in timer_interrupt()878 __timer_interrupt(); in tick_broadcast_ipi_handler()