AMD64_NPML4EPG
pml4eindex = (va >> AMD64_PML4SHIFT) & (AMD64_NPML4EPG - 1);
_Static_assert(NPML4EPG == AMD64_NPML4EPG, "NPML4EPG mismatch");