Searched refs:bad_ipi_handler (Results 1 – 1 of 1) sorted by relevance
17 static void bad_ipi_handler(struct ex_regs *regs) in bad_ipi_handler() function128 vm_install_exception_handler(vm, BAD_IPI_VECTOR, bad_ipi_handler); in main()