Symbol: ras_core_get_seqno