I386_PAGE_SHIFT
pteindex = (va >> I386_PAGE_SHIFT) & (I386_NPTEPG - 1);
pteindex = (va >> I386_PAGE_SHIFT) & (I386_NPTEPG_PAE - 1);
#define I386_PAGE_SIZE (1 << I386_PAGE_SHIFT)
_Static_assert(PAGE_SHIFT == I386_PAGE_SHIFT, "PAGE_SHIFT mismatch");
pteindex = (va - vm->hdr.kernbase) >> I386_PAGE_SHIFT;
pteindex = (va - vm->hdr.kernbase) >> I386_PAGE_SHIFT;
*va = vm->hdr.kernbase + (it->pteindex << I386_PAGE_SHIFT);