__vmx_complete_interrupts
__vmx_complete_interrupts(&vmx->vcpu, vmx->idt_vectoring_info,
__vmx_complete_interrupts(vcpu,