/* This frees the buffer pools created by hcd_buffer_create().  */
void hcd_buffer_destroy(struct usb_hcd *hcd)
/* This frees the buffer pools created by hcd_buffer_create().  */
void hcd_buffer_destroy(struct usb_hcd *hcd)
{
	int i;
	for (i = 0; i < HCD_BUFFER_POOLS; i++) {
		struct dma_pool *pool = hcd->pool[i];
		if (pool) {
			dma_pool_destroy(pool);
			hcd->pool[i] = NULL;
		}
	}
}