devfs_remove (name); 
void usb_deregister_dev(struct usb_interface *intf,			struct usb_class_driver *class_driver){	int minor_base = class_driver->minor_base;	char name[BUS_ID_SIZE];#ifdef CONFIG_USB_DYNAMIC_MINORS	minor_base = 0;#endif	if (intf->minor == -1)		return;	dbg ("removing %d minor", intf->minor);	spin_lock (&minor_lock);	usb_minors[intf->minor] = NULL;	spin_unlock (&minor_lock);	snprintf(name, BUS_ID_SIZE, class_driver->name, intf->minor - minor_base);	devfs_remove (name);	class_device_destroy(usb_class, MKDEV(USB_MAJOR, intf->minor));	intf->class_dev = NULL;	intf->minor = -1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d6e5bcf4a7ebbe258124a931f1449338340a99b5/file.c/clean/drivers/usb/core/file.c