RAS_SEQNO_TYPE_COUNT_MAX
(seqno_type >= RAS_SEQNO_TYPE_COUNT_MAX))
(seqno_type >= RAS_SEQNO_TYPE_COUNT_MAX))
if (seqno_type >= RAS_SEQNO_TYPE_COUNT_MAX)
if (seqno_type >= RAS_SEQNO_TYPE_COUNT_MAX)