Searched defs:ipi_timer (Results 1 – 3 of 3) sorted by relevance
155 void ipi_timer(void) in ipi_timer() function
132 void ipi_timer(void) in ipi_timer() function
296 static void ipi_timer(void) in ipi_timer() function