Searched refs:VMCS_ENTRY_INTR_INFO (Results 1 – 3 of 3) sorted by relevance
190 #define VMCS_ENTRY_INTR_INFO 0x00004016 macro
1435 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_nmi()1444 vmcs_write(VMCS_ENTRY_INTR_INFO, info); in vmx_inject_nmi()1479 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()1497 vmcs_write(VMCS_ENTRY_INTR_INFO, info); in vmx_inject_interrupts()1515 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()1592 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()1609 vmcs_write(VMCS_ENTRY_INTR_INFO, info); in vmx_inject_interrupts()
927 error = vm_get_vmcs_field(vcpu, VMCS_ENTRY_INTR_INFO,&u64); in get_misc_vmcs()