Searched refs:VM_ENTRY_INTR_INFO_FIELD (Results 1 – 2 of 2) sorted by relevance
158 VM_ENTRY_INTR_INFO_FIELD = 0x00004016, enumerator
1068 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, intr_info); in vmx_queue_exception()2835 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, 0); /* 22.2.1 */ in vmx_vcpu_reset()2918 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, intr); in vmx_inject_irq()2945 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, in vmx_inject_nmi()3986 vmcs_read32(VM_ENTRY_INTR_INFO_FIELD), in vmx_cancel_injection()3990 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, 0); in vmx_cancel_injection()