pmap_remove_mapping
pte_bits = pmap_remove_mapping(pmap, sva,
pmap_remove_mapping(
pte_bits = pmap_remove_mapping(pmap, va, pv->pv_pte,
(void) pmap_remove_mapping(pmap, va, pte, true, &opv, NULL);
static pt_entry_t pmap_remove_mapping(pmap_t, vaddr_t, pt_entry_t *, bool,
pmap_remove_mapping(pmap, sva, ptep, NULL,
pmap_remove_mapping(pmap, sva, ptep, pt, NULL,
pmap_remove_mapping(pv->pv_pmap, PV_VA(pv), pmap_pv_pte(pv),
pmap_remove_mapping(pmap, va, ptep, pt, NULL,
pmap_remove_mapping(pv->pv_pmap, pv->pv_va,
pmap_remove_mapping(pmap, va, pte,
pmap_remove_mapping(pmap, pv->pv_va, NULL,
pmap_remove_mapping(pmap_kernel(), ptpva,
void pmap_remove_mapping(pmap_t, vaddr_t, pt_entry_t *, int,
pmap_remove_mapping(pmap, sva, pte, flags, NULL);