Type Definition PDPT
x86::bits64::paging
type PDPT = [PDPTEntry; 512];
A page directory pointer table.