Symbol: insn_has_ll_or_sc