INIT_LIST_HEAD(&dev->driver_list); 
void device_initialize(struct device *dev){	kobj_set_kset_s(dev, devices_subsys);	kobject_init(&dev->kobj);	INIT_LIST_HEAD(&dev->node);	INIT_LIST_HEAD(&dev->children);	INIT_LIST_HEAD(&dev->driver_list);	INIT_LIST_HEAD(&dev->dma_pools);	init_MUTEX(&dev->sem);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/63c4f204ffc8219696bda88eb20c9873d007a2fc/core.c/clean/drivers/base/core.c