/* This reclaims an I/O buffer, letting it be reused. The memory must have been allocated using usb_buffer_alloc(), and the parameters must match those provided in that allocation request.  */
void usb_buffer_free(struct usb_device *dev, size_t size, void *addr, dma_addr_t dma)
/* This reclaims an I/O buffer, letting it be reused. The memory must have been allocated using usb_buffer_alloc(), and the parameters must match those provided in that allocation request.  */
void usb_buffer_free(struct usb_device *dev, size_t size, void *addr, dma_addr_t dma)
{
	if (!dev || !dev->bus)
		return;
	if (!addr)
		return;
	hcd_buffer_free(dev->bus, size, addr, dma);
}