Searched refs:idxLimit (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/VMM/VMMR0/ |
| H A D | HMVMXR0.cpp | 4476 * @param idxLimit Index of the segment limit in the VMCS.
4483 static int hmR0VmxWriteSegmentReg(PVMCPU pVCpu, uint32_t idxSel, uint32_t idxLimit, uint32_t idxBase, argument
4488 rc = VMXWriteVmcs32(idxLimit, pSelReg->u32Limit); /* 32-bit guest segment limit field. */
6461 * @param idxLimit Index of the segment limit in the VMCS.
6471 DECLINLINE(int) hmR0VmxReadSegmentReg(PVMCPU pVCpu, uint32_t idxSel, uint32_t idxLimit, uint32_t idxBase, uint32_t idxAccess, argument
6483 rc = VMXReadVmcs32(idxLimit, &u32Val);
|
Completed in 74 milliseconds