pl1_i
&PTE_BASE[pl1_i(sva)], sva, flags, &free_pvs);
pmap_remove_ptes(pmap, ptp, (vaddr_t)&PTE_BASE[pl1_i(va)],
opte = pmap_pte_set(&PTE_BASE[pl1_i(pve->pv_va)], 0);
spte = &PTE_BASE[pl1_i(va)];
epte = &PTE_BASE[pl1_i(blkendva)];
opte = PTE_BASE[pl1_i(va)]; /* old PTE */
PTE_BASE[pl1_i(va)] = npte;
PTE_BASE[pl1_i(va)] = npte;
PTE_BASE[pl1_i(va)] = npte ^ PG_RW;
PTE_BASE[pl1_i(va)] = npte;
unsigned long p1i = pl1_i(kva);
return (PTE_BASE + pl1_i(va));