static char *dev_hotplug_name(struct kset *kset, struct kobject *kobj) 
static const char *dev_hotplug_name(struct kset *kset, struct kobject *kobj) 
static char *dev_hotplug_name(struct kset *kset, struct kobject *kobj){	struct device *dev = to_dev(kobj);	return dev->bus->name;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/419cab3fc69588ebe35b845cc3a584ae172463de/core.c/buggy/drivers/base/core.c