pmap_pte_w_chg
if (pmap_pte_w_chg(pte, wired ? PG_WIRED : 0)) {
if (pmap_pte_w_chg(pte, 0)) {
if (pmap_pte_w_chg(pte, wired ? PG_W : 0)) {