bman_count
if (bman_count(pool) != 0)
uint32_t bman_count(struct bman_pool *pool);
count = bman_count(sc->sc_rx_pool);
if (bman_count(sc->sc_rx_pool) <= DTSEC_RM_POOL_RX_MAX_SIZE)