bman_count
uint32_t bman_count(t_Handle pool);
count = bman_count(sc->sc_rx_pool);
if (bman_count(sc->sc_rx_pool) <= DTSEC_RM_POOL_RX_MAX_SIZE)