Symbol: reg_may_point_to_spin_lock