PMAP_T2PTE_4
pgtype = PMAP_T2PTE_4(PMAP_OBIO);
pteproto = PG_V | PMAP_T2PTE_4(pa);
pteproto = PG_S | PG_V | PMAP_T2PTE_4(pa);