Type Definition x86_64::paging::PDPT [] [src]

type PDPT = [PDPTEntry; 512];

A page directory pointer table.