VMCS_EXIT_INTR_INFO
val = vmcs_read(VMCS_EXIT_INTR_INFO);
intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
error = vm_get_vmcs_field(vcpu, VMCS_EXIT_INTR_INFO, &u64);