OFFSET_RAS_SHIFT
((uint64_t)(ras) << OFFSET_RAS_SHIFT) | \
#define TCODE_OFFSET_RAS(tcode) (((tcode) >> OFFSET_RAS_SHIFT) & MAX_RAS_MASK)