/* 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_host_virt_dev *dev, u32 size, void *addr, void *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_host_virt_dev *dev, u32 size, void *addr, void *dma)
{
    hcd_ops_buffer_free(dev->bus, size, addr, dma);
}