Searched refs:VMX_INT_INFO_VALID (Results 1 – 5 of 5) sorted by relevance
159 VMX_INT_INFO_VALID | in vcpu_do_pending_extint()247 exec_vmwrite32(VMX_ENTRY_INT_INFO_FIELD, VMX_INT_INFO_VALID | in vcpu_inject_exception()335 if (((intr_info & VMX_INT_INFO_VALID) == 0U) || in external_interrupt_vmexit_handler()422 VMX_INT_INFO_VALID | (VMX_INT_TYPE_NMI << 8U) | IDT_NMI); in acrn_handle_pending_request()436 if ((arch->idt_vectoring_info & VMX_INT_INFO_VALID) != 0U) { in acrn_handle_pending_request()518 if ((intinfo & VMX_INT_INFO_VALID) != 0U) { in exception_vmexit_handler()
228 if ((vcpu->arch.idt_vectoring_info & VMX_INT_INFO_VALID) != 0U) { in vmexit_handler()
471 if ((exec_vmread32(VMX_IDT_VEC_INFO_FIELD) & VMX_INT_INFO_VALID) == 0U) { in handle_l2_ept_violation()
2270 exec_vmwrite32(VMX_ENTRY_INT_INFO_FIELD, VMX_INT_INFO_VALID | vector); in apicv_basic_inject_intr()
398 #define VMX_INT_INFO_VALID (1U<<31U) macro
Completed in 13 milliseconds