pmap_remove_pte
result = pmap_remove_pte(pmap, ptp,
int pmap_remove_pte(struct pmap *, struct vm_page *, pt_entry_t *,
pmap_remove_pte(pmap, va, pte, NULL, FALSE);
pmap_remove_pte(pmap, va, pte, NULL,
pmap_remove_pte(pmap, va, pte, pg, TRUE);
void pmap_remove_pte(pmap_t, vaddr_t, pt_entry_t *,