Specifications

Intel
®
64 and IA-32 Architectures Software Developer’s Manual Documentation Changes 269
Documentation Changes
— Bits 63:52 are all 0.
— Bits 51:30 are from the EPT PDPTE.
— Bits 29:0 are from the original guest-physical address.
• If bit 7 of the EPT PDPTE is 0, a 4-KByte naturally aligned EPT page directory is
located at the physical address specified in bits 51:12 of the EPT PDPTE (see
Table 25-3). An EPT page-directory comprises 512 64-bit entries (PDEs). An EPT PDE
is selected using the physical address defined as follows:
— Bits 63:52 are all 0.
— Bits 51:12 are from the EPT PDPTE.
— Bits 11:3 are bits 29:21 of the guest-physical address.