__mlx4_counter_alloc
return __mlx4_counter_alloc(dev, idx);
int __mlx4_counter_alloc(struct mlx4_dev *dev, u32 *idx);
err = __mlx4_counter_alloc(dev, &index);