INIT_LIST_HEAD(&dev->bus_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->bus_list);	INIT_LIST_HEAD(&dev->dma_pools);	init_MUTEX(&dev->sem);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/94e7b1c5ff2055571703e38b059afffe17658432/core.c/buggy/drivers/base/core.c