EXCCODE_INT
set_except_vector(EXCCODE_INT, using_skipover_handler() ?
case EXCCODE_INT:
vm_install_exception_handler(vm, EXCCODE_INT, guest_irq_handler);