PTE1_LINK
pmap_kenter_pte1(kernel_vm_end, PTE1_LINK(pt2_pa));
pte1_store(pte1p++, PTE1_LINK(pa));
pte1_store(pte1p, PTE1_LINK(pt2_pa));
pmap_kenter_pte1(va, PTE1_LINK(pt2_pa));
npte1 = PTE1_LINK(pt2_pa);
pte1_store(pte1p, PTE1_LINK(pt2_pa));
pte1_store(pte1p++, PTE1_LINK(pa));
pte1_store(pte1p++, PTE1_LINK(pa));
pte1_store(pte1p, PTE1_LINK(pt2_pa));