Searched refs:do_handle_IPI (Results 1 – 1 of 1) sorted by relevance
634 static void do_handle_IPI(int ipinr) in do_handle_IPI() function695 do_handle_IPI(ipinr); in handle_IPI()703 do_handle_IPI(irq - ipi_irq_base); in ipi_handler()