Searched refs:do_handle_IPI (Results 1 – 1 of 1) sorted by relevance
994 static void do_handle_IPI(int ipinr) in do_handle_IPI() function1052 do_handle_IPI(ipi); in ipi_handler()