x86::paging::PDPT [−] [src]

type PDPT = [PDPTEntry; 512];

A page directory pointer table.