pmap_remove_mapping
needisync |= pmap_remove_mapping(pmap, sva,
pmap_remove_mapping(
if (pmap_remove_mapping(pmap, pv->pv_va, pv->pv_pte,
needisync |= pmap_remove_mapping(pmap, va, pte, TRUE, cpu_id);
boolean_t pmap_remove_mapping(pmap_t, vaddr_t, pt_entry_t *,