pmap_clean_pte
vpte_t pmap_clean_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va,
pmap_clean_pte(pte, pmap, sva, NULL);
pbits = pmap_clean_pte(pte, pv->pv_pmap,
pmap_clean_pte(pte, pv->pv_pmap, pv->pv_va, m);