} 
void usb_driver_release_interface(struct usb_driver *driver,					struct usb_interface *iface){	struct device *dev = &iface->dev;	/* this should never happen, don't release something that's not ours */	if (!dev->driver || dev->driver != &driver->driver)		return;	/* don't disconnect from disconnect(), or before dev_add() */	if (!klist_node_attached(&dev->knode_driver) && !klist_node_attached(&dev->knode_bus))		device_release_driver(dev);	dev->driver = NULL;	usb_set_intfdata(iface, NULL);	iface->condition = USB_INTERFACE_UNBOUND;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f409661877a25d11c2495bcd879807f17c286684/usb.c/buggy/drivers/usb/core/usb.c