PP_ATTRS_W
(void)pmap_clear_attrs(pg, PP_ATTRS_W);
(void)pmap_pv_clear_attrs(pa, PP_ATTRS_W);
KASSERT((clearbits & ~(PP_ATTRS_D|PP_ATTRS_A|PP_ATTRS_W)) == 0);
ret |= PP_ATTRS_W;
if (attrs & PP_ATTRS_W)
ret |= PP_ATTRS_W;
if (attrs & PP_ATTRS_W)
KASSERT((clearbits & ~(PP_ATTRS_D|PP_ATTRS_A|PP_ATTRS_W)) == 0);