bman_pool_fill
int bman_pool_fill(t_Handle pool, uint16_t nbufs);
bman_pool_fill(sc->sc_rx_pool, DTSEC_RM_POOL_RX_HIGH_MARK);