virtual void map(RegionWithOffset region, Flags flags);
virtual void unmap(Region region);
virtual void set_flags(Region region, Flags flags, Flags mask);
virtual void map(RegionWithOffset region, Flags flags);
virtual void unmap(Region region);
virtual void set_flags(Region region, Flags flags, Flags mask);