void usbdev_remove(struct usb_device *dev) 
static void usbdev_remove(struct usb_device *dev) 
void usbdev_remove(struct usb_device *dev){	class_device_unregister(dev->class_dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a7b986b3e107727dd1c1af0ead0b5e52d7726db3/devio.c/buggy/drivers/usb/core/devio.c