Symbol: hal_reo_threshold_idx