AMD64_NPTEPG
pteindex = (va >> AMD64_PAGE_SHIFT) & (AMD64_NPTEPG - 1);
_Static_assert(NPTEPG == AMD64_NPTEPG, "NPTEPG mismatch");
amd64_pte_t pt[AMD64_NPTEPG];
(AMD64_NPTEPG - 1);
for (i = 0; i < AMD64_NPTEPG; i++) {