Searched refs:IA32_EPT_PAGE_WALK_LENGTH (Results 1 – 2 of 2) sorted by relevance
1139 #define IA32_EPT_PAGE_WALK_LENGTH 0x4 macro
2608 eptp |= ((IA32_EPT_PAGE_WALK_LENGTH - 1) << 3); in vcpu_init_vmx()