/* This records that previously allocated bandwidth has been released. Bandwidth is released when endpoints are removed from the host controller's periodic schedule.  */
void usb_release_bandwidth(struct usb_host_virt_dev *dev, struct urb *urb, int isoc)
/* This records that previously allocated bandwidth has been released. Bandwidth is released when endpoints are removed from the host controller's periodic schedule.  */
void usb_release_bandwidth(struct usb_host_virt_dev *dev, struct urb *urb, int isoc)
{
    dev->bus->bandwidth_allocated -= urb->bandwidth;
    if (isoc)
    {
        dev->bus->bandwidth_isoc_reqs--;
    }
    else
    {
        dev->bus->bandwidth_int_reqs--;
    }
    urb->bandwidth = 0;
}