RAS_SEQNO_TYPE_POISON_CONSUMPTION
RAS_SEQNO_TYPE_POISON_CONSUMPTION);
(seqno_type == RAS_SEQNO_TYPE_POISON_CONSUMPTION)) {
RAS_SEQNO_TYPE_POISON_CONSUMPTION, false);
RAS_SEQNO_TYPE_POISON_CONSUMPTION, true);
RAS_SEQNO_TYPE_POISON_CONSUMPTION, false);
case RAS_SEQNO_TYPE_POISON_CONSUMPTION:
RAS_SEQNO_TYPE_POISON_CONSUMPTION, true);
else if (seqno_type == RAS_SEQNO_TYPE_POISON_CONSUMPTION)
else if (seqno_type == RAS_SEQNO_TYPE_POISON_CONSUMPTION)