Searched defs:uIdtVector (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp5813 uint32_t uIdtVector = VMX_IDT_VECTORING_INFO_VECTOR(pVmxTransient->uIdtVectoringInfo); local
5831 if ( hmR0VmxIsContributoryXcpt(uIdtVector)
5838 && uIdtVector == X86_XCPT_PF)
5845 && ( hmR0VmxIsContributoryXcpt(uIdtVector)
5846 || uIdtVector == X86_XCPT_PF))
5850 else if (uIdtVector == X86_XCPT_DF)
5926 Log4(("IDT: vcpu[%RU32] Pending vectoring #DF %#RX64 uIdtVector=%#x uExitVector=%#x\n", pVCpu->idCpu,
5927 pVCpu->hm.s.Event.u64IntInfo, uIdtVector, uExitVector));
5935 Log4(("IDT: vcpu[%RU32] Pending vectoring triple-fault uIdt=%#x uExit=%#x\n", pVCpu->idCpu, uIdtVector,

Completed in 83 milliseconds