Searched defs:idxSel (Results 1 - 1 of 1) sorted by relevance
/vbox/src/VBox/VMM/VMMR0/ |
H A D | HMVMXR0.cpp | 4475 * @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 85 milliseconds