while (!list_empty(&drv->devices)) { struct device * dev = container_of(drv->devices.next, struct device, driver_list); device_release_driver(dev); } 
driver_for_each_device(drv, NULL, NULL, __remove_driver); 
void driver_detach(struct device_driver * drv){	while (!list_empty(&drv->devices)) {		struct device * dev = container_of(drv->devices.next, struct device, driver_list);		device_release_driver(dev);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/94e7b1c5ff2055571703e38b059afffe17658432/dd.c/clean/drivers/base/dd.c