x86::paging::PML4

type PML4 = [PML4Entry; 512];

A PML4 table. In practice this has only 4 entries but it still needs to be the size of a 4K page.