Searched refs:VMCS_ENTRY_INTR_INFO (Results 1 – 3 of 3) sorted by relevance
143 #define VMCS_ENTRY_INTR_INFO 0x00004016 macro
1168 uint64_t info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_stash_intinfo()1179 vmcs_write(VMCS_ENTRY_INTR_INFO, 0); in vmx_stash_intinfo()1213 vmcs_write(VMCS_ENTRY_INTR_INFO, inject); in vmx_inject_intinfo()1225 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_nmi()1231 vmcs_write(VMCS_ENTRY_INTR_INFO, in vmx_inject_nmi()1256 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_events()1325 vmcs_write(VMCS_ENTRY_INTR_INFO, in vmx_inject_events()1388 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_vlapic()1397 vmcs_write(VMCS_ENTRY_INTR_INFO, in vmx_inject_vlapic()
992 error = vm_get_vmcs_field(vcpu, VMCS_ENTRY_INTR_INFO,&u64); in get_misc_vmcs()2088 error = vm_set_vmcs_field(vcpu, VMCS_ENTRY_INTR_INFO, in main()