info("USB Serial deregistering driver %s", device->name); 
info("USB Serial deregistering driver %s", device->description); 
void usb_serial_deregister(struct usb_serial_driver *device){	info("USB Serial deregistering driver %s", device->name);	list_del(&device->driver_list);	usb_serial_bus_deregister(device);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/269bda1c123c7caf88e1deb2264f9086f0344192/usb-serial.c/clean/drivers/usb/serial/usb-serial.c