AMD64_PAGE_SHIFT
pteindex = (va >> AMD64_PAGE_SHIFT) & (AMD64_NPTEPG - 1);
#define AMD64_PAGE_SIZE (1 << AMD64_PAGE_SHIFT)
_Static_assert(PAGE_SHIFT == AMD64_PAGE_SHIFT, "PAGE_SHIFT mismatch");
pteindex = (va - vm->hdr.kernbase) >> AMD64_PAGE_SHIFT;
pteindex = (va >> AMD64_PAGE_SHIFT) &