TLABEL_MASK
ASSERT(tlabel_info->tbi_tlabel <= TLABEL_MASK);
ASSERT(tlabel_info->tbi_tlabel <= TLABEL_MASK);
ASSERT(tlabel_info->tbi_tlabel <= TLABEL_MASK);
tlabel = tlabel_info->tbi_tlabel & TLABEL_MASK;