Searched defs:do_handle_IPI (Results 1 – 2 of 2) sorted by relevance
633 static void do_handle_IPI(int ipinr) in do_handle_IPI() function
862 static void do_handle_IPI(int ipinr) in do_handle_IPI() function