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

/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp4475 * @param idxSel Index of the selector in the VMCS.
4483 static int hmR0VmxWriteSegmentReg(PVMCPU pVCpu, uint32_t idxSel, uint32_t idxLimit, uint32_t idxBase, argument
4486 int rc = VMXWriteVmcs32(idxSel, pSelReg->Sel); /* 16-bit guest selector field. */
6460 * @param idxSel Index of the selector in the VMCS.
6471 DECLINLINE(int) hmR0VmxReadSegmentReg(PVMCPU pVCpu, uint32_t idxSel, uint32_t idxLimit, uint32_t idxBase, uint32_t idxAccess, argument
6477 int rc = VMXReadVmcs32(idxSel, &u32Val);
6516 Assert(idxSel != VMX_VMCS16_GUEST_FIELD_TR); /* TR is the only selector that can never be unusable. */
6522 Log4(("hmR0VmxReadSegmentReg: Unusable idxSel=%#x attr=%#x -> %#x\n", idxSel, u32Val, pSelReg->Attr.u));
6526 idxSel, u32Va
[all...]

Completed in 71 milliseconds