device_detach_shutdown(dev); 
void device_release_driver(struct device * dev){	struct device_driver * drv = dev->driver;	if (drv) {		sysfs_remove_link(&drv->kobj, kobject_name(&dev->kobj));		sysfs_remove_link(&dev->kobj, "driver");		list_del_init(&dev->driver_list);		device_detach_shutdown(dev);		if (drv->remove)			drv->remove(dev);		dev->driver = NULL;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0b405a0f7e4d4d18fd1fe46ddf5ff465443036ab/bus.c/clean/drivers/base/bus.c