Searched defs:guest_ipi_handler (Results 1 – 2 of 2) sorted by relevance
72 static void guest_ipi_handler(struct ex_regs *regs) in guest_ipi_handler() function
121 static void guest_ipi_handler(struct ex_regs *regs) in guest_ipi_handler() function