Searched refs:VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.h59 Assert(idxCache <= VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX);
H A DHMVMXR0.cpp5457 AssertMsg(cReadFields == VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX, ("cReadFields=%u expected %u\n", cReadFields,
5458 VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX));
5459 pCache->Read.cValidEntries = VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX;
/vbox/include/VBox/vmm/
H A Dhm_vmx.h455 #define VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX (VMX_VMCS_GUEST_CR3_CACHE_IDX + 1) macro

Completed in 88 milliseconds