x86::bits64::paging

Type Alias PDPT

Source 
pub type PDPT = [PDPTEntry; 512];
Expand description

A page directory pointer table.