/* Manually detach device from driver. When called for a USB interface, @dev->parent->sem must be held.  */
void device_release_driver(struct device *dev)
/* Manually detach device from driver. When called for a USB interface, @dev->parent->sem must be held.  */
void device_release_driver(struct device *dev)
{
	down(&dev->sem);
	__device_release_driver(dev);
	up(&dev->sem);
}