iflib_rxd_avail
if (iflib_rxd_avail(ctx, rxq, cidx, 1))
if ((avail = iflib_rxd_avail(ctx, rxq, *cidxp, budget)) == 0) {
avail = iflib_rxd_avail(ctx, rxq, *cidxp, budget_left);
if (avail != 0 || iflib_rxd_avail(ctx, rxq, *cidxp, 1) != 0)
static int iflib_rxd_avail(if_ctx_t ctx, iflib_rxq_t rxq, qidx_t cidx, qidx_t budget);