domain_dirty_avail
domain_dirty_avail(dtc, true);
domain_dirty_avail(dtc, false);
domain_dirty_avail(&gdtc, true);
domain_dirty_avail(&mdtc, true);