PMAP_SET_PTE
PMAP_SET_PTE(pte, npte);
PMAP_SET_PTE(pte, npte);
PMAP_SET_PTE(pte, PG_NV);
PMAP_SET_PTE(pte, PG_NV);
PMAP_SET_PTE(pte, npte);
PMAP_SET_PTE(pte, ((ptpa >> PGSHIFT) << PG_SHIFT) |
PMAP_SET_PTE(pte, PG_NV);