pmap_remove_pte
static int pmap_remove_pte(pmap_t pmap, pt_entry_t *ptq, vm_offset_t sva,
pmap_remove_pte(pmap, pte, va, *pde, free, &lock);
if (pmap_remove_pte(pmap, pte, sva, *pde, free, lockp)) {
pmap_remove_pte(pmap, pte, va, *pde,
pmap_remove_pte(pmap, pte, pv->pv_va,
pmap_remove_pte(pmap, pte, va, *pde, NULL,
pmap_remove_pte(pmap, pte, va, free);
if (pmap_remove_pte(pmap, pte, sva, free))
static int pmap_remove_pte(pmap_t pmap, pt_entry_t *ptq, vm_offset_t sva,
pmap_remove_pte(pmap, pte, va, NULL);
pmap_remove_pte(pmap, pte, va, be64toh(*l3e), NULL,
invalidate_all = pmap_remove_pte(pmap, pte, va, be64toh(*l3e), free, &lock);
if (pmap_remove_pte(pmap, pte, sva, be64toh(*l3e), free, lockp)) {
static int pmap_remove_pte(pmap_t pmap, pt_entry_t *ptq, vm_offset_t sva,