VINTR_IRQ_NUMBER
vmcb->control.int_vector = VINTR_IRQ_NUMBER;
vm_install_exception_handler(vm, VINTR_IRQ_NUMBER, vintr_irq_handler);