Symbol: rseq_smp_acquire__after_ctrl_dep