adding flush to mapped_region