PTE_BASE
invaladdr = level == 1 ? (vaddr_t)PTE_BASE :
&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;
if (pmap_valid_entry(PTE_BASE[p1i]))
PTE_BASE[p1i] |= pg_g_kern;
#define L1_BASE PTE_BASE
return (PTE_BASE + pl1_i(va));
if (pmap_valid_entry(PTE_BASE[atop(kva)]))
PTE_BASE[atop(kva)] |= pmap_pg_g;
pte = PTE_BASE + atop(virtual_avail);
pmap_tlb_shootpage(pm, ((vaddr_t)PTE_BASE) + ptp->offset);
#define PDP_BASE ((pd_entry_t *)(((char *)PTE_BASE) + (PDSLOT_PTE * NBPG)))
#define vtopte(VA) (PTE_BASE + atop((vaddr_t)VA))
return(PTE_BASE);
return(PTE_BASE);
#define PDP_BASE ((pd_entry_t *)(((char *)PTE_BASE) + (PDSLOT_PTE * NBPG)))
#define vtopte(VA) (PTE_BASE + atop((vaddr_t)VA))
return(PTE_BASE);
return(PTE_BASE);
pmap_tlb_shootpage(pm, ((vaddr_t)PTE_BASE) + ptp->offset);