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

/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.h57 DECLINLINE(int) VMXReadCachedVmcsEx(PVMCPU pVCpu, uint32_t idxCache, RTGCUINTREG *pVal) argument
59 Assert(idxCache <= VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX);
60 *pVal = pVCpu->hm.s.vmx.VMCSCache.Read.aFieldVal[idxCache];

Completed in 41 milliseconds