[][src]Type Definition x86::bits64::paging::PDPT

type PDPT = [PDPTEntry; 512];

A page directory pointer table.