ras_core_gen_seqno
seq_no = ras_core_gen_seqno(ras_mgr->ras_core, seqno_type);
uint64_t ras_core_gen_seqno(struct ras_core_context *ras_core,
seq_no = ras_core_gen_seqno(ras_core, seqno_type);