Symbol: irdma_check_seq