PTE1_SHIFT
pmap_tlb_flush(pmap, (m->pindex + i) << PTE1_SHIFT);
pt2_wirecount_dec(mpte2, va >> PTE1_SHIFT);
if ((((pa >> PAGE_SHIFT) ^ (pv->pv_va >> PTE1_SHIFT) ^
CTASSERT(PDR_SHIFT == PTE1_SHIFT);
base = i << PTE1_SHIFT;
va = pte1_idx << PTE1_SHIFT;
va = i << PTE1_SHIFT;
va = i << PTE1_SHIFT;
#define PT2TAB_SHIFT (PTE1_SHIFT + PT2PG_SHIFT)
return (va >> PTE1_SHIFT);