KPD_WRITEDIRTY
flags = kpd->kp_flags | KPD_WRITEDIRTY;
if ((flags & KPD_WRITEDIRTY) && !hat_page_is_mapped(pp) &&