Home
last modified time | relevance | path

Searched refs:idt_vectoring_info (Results 1 – 3 of 3) sorted by relevance

/hypervisor/arch/x86/guest/
A Dvmexit.c226 vcpu->arch.idt_vectoring_info = exec_vmread32(VMX_IDT_VEC_INFO_FIELD); in vmexit_handler()
228 if ((vcpu->arch.idt_vectoring_info & VMX_INT_INFO_VALID) != 0U) { in vmexit_handler()
229 uint32_t vector_info = vcpu->arch.idt_vectoring_info; in vmexit_handler()
239 vcpu->arch.idt_vectoring_info = 0U; in vmexit_handler()
242 vcpu->arch.idt_vectoring_info = 0U; in vmexit_handler()
A Dvirq.c436 if ((arch->idt_vectoring_info & VMX_INT_INFO_VALID) != 0U) { in acrn_handle_pending_request()
437 exec_vmwrite32(VMX_ENTRY_INT_INFO_FIELD, arch->idt_vectoring_info); in acrn_handle_pending_request()
438 arch->idt_vectoring_info = 0U; in acrn_handle_pending_request()
/hypervisor/include/arch/x86/asm/guest/
A Dvcpu.h276 uint32_t idt_vectoring_info; member

Completed in 5 milliseconds