char *driver_name = ""; 
const char *driver_name = ""; 
static char *usb_dump_interface_descriptor(char *start, char *end,	const struct usb_interface_cache *intfc,	const struct usb_interface *iface,	int setno){	const struct usb_interface_descriptor *desc = &intfc->altsetting[setno].desc;	char *driver_name = "";	if (start > end)		return start;	down_read(&usb_bus_type.subsys.rwsem);	if (iface)		driver_name = (iface->dev.driver				? iface->dev.driver->name				: "(none)");	start += sprintf(start, format_iface,			 desc->bInterfaceNumber,			 desc->bAlternateSetting,			 desc->bNumEndpoints,			 desc->bInterfaceClass,			 class_decode(desc->bInterfaceClass),			 desc->bInterfaceSubClass,			 desc->bInterfaceProtocol,			 driver_name);	up_read(&usb_bus_type.subsys.rwsem);	return start;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8d790d74085833ba2a3e84b5bcd683be4981c29a/devices.c/clean/drivers/usb/core/devices.c