PTE2_KPT
pmap_kenter_pt2tab(va, PTE2_KPT(pa));
pte2_store(PMAP2, PTE2_KPT(pt2pg_pa));
pte2_store(PMAP1, PTE2_KPT(pt2pg_pa));
pte2_store(PMAP1, PTE2_KPT(pt2pg_pa));
pte2_store(PMAP2, PTE2_KPT(pt2pg_pa));
pte2_store(PMAP3, PTE2_KPT(pt2pg_pa));
pt2tab_store(pte2p++, PTE2_KPT(pa));
pte2_store(pte2p++, PTE2_KPT(pa));
pte2_store(pte2p++, PTE2_KPT(pa));
pt2tab_store(pte2p, PTE2_KPT(pt2pg_pa));