pte1_trunc
va = pte1_trunc(va) + pte1_offset;
first_managed_pa = pte1_trunc(vm_phys_segs[0].start);
pv_npg = (pte1_trunc(vm_phys_segs[vm_phys_nsegs - 1].end - PAGE_SIZE)
va = pte1_trunc(va);
va = pte1_trunc(va);
pmap_tlb_flush_range(pmap, pte1_trunc(va), PTE1_SIZE);
pmap_tlb_flush(pmap, pte1_trunc(va));
tlb_flush_range_local(pte1_trunc(va), PTE1_SIZE);
tlb_flush_local(pte1_trunc(va));
tlb_flush_range(pte1_trunc(va), PTE1_SIZE);
tlb_flush(pte1_trunc(va));
fpte2p = pmap_pte2_quick(pmap, pte1_trunc(va));
pteva = pte1_trunc(va) | (pte2 & PTE1_OFFSET &
pmap_remove_pte1(pmap, pte1p, pte1_trunc(va), &free);
nextva = pte1_trunc(sva + PTE1_SIZE);
nextva = pte1_trunc(sva + PTE1_SIZE);
nextva = pte1_trunc(sva + PTE1_SIZE);
pdnxt = pte1_trunc(sva + PTE1_SIZE);
nextva = pte1_trunc(addr + PTE1_SIZE);
*addr = pte1_trunc(*addr) + pte1_offset;
tlb_flush(pte1_trunc(far));