__mlx4_counter_free
void __mlx4_counter_free(struct mlx4_dev *dev, u32 idx);
__mlx4_counter_free(dev, idx);
__mlx4_counter_free(dev, index);
__mlx4_counter_free(dev, index);
__mlx4_counter_free(dev, counters_arr[j++]);