pmap_update_user_page
pmap_update_user_page(pmap, va, npte);
pmap_update_user_page(pv->pv_pmap, pv->pv_va,
pmap_update_user_page(pmap, trunc_page(va), entry);
pmap_update_user_page(pmap, trunc_page(va), entry);
pmap_update_user_page(pv->pv_pmap, pv->pv_va,
pmap_update_user_page(pv->pv_pmap, pv->pv_va, entry);
void pmap_update_user_page(pmap_t, vaddr_t, pt_entry_t);
pmap_update_user_page(pmap, va, entry);