mlx4_en_process_rx_cq
int mlx4_en_process_rx_cq(if_t dev,
done = mlx4_en_process_rx_cq(dev, cq, 4);
done = mlx4_en_process_rx_cq(dev, cq, budget);