HAT_REGION_TYPE_MASK
uchar_t r_type = flags & HAT_REGION_TYPE_MASK;
ASSERT(!(flags & ~HAT_REGION_TYPE_MASK));
uchar_t r_type = flags & HAT_REGION_TYPE_MASK;
ASSERT(!(flags & ~HAT_REGION_TYPE_MASK));