xgell_rx_destroy_buffer_pool
(void) xgell_rx_destroy_buffer_pool(rx_ring);
if (xgell_rx_destroy_buffer_pool(rx_ring))
(void) xgell_rx_destroy_buffer_pool(ring);