Symbol: rseq_smp_rmb