kernel::arch::mmu::PDPT [−] [src]

type PDPT = [PageEntry<PD>; 512];