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

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