INIT_LIST_HEAD(&dev->node); INIT_LIST_HEAD(&dev->children); 
klist_init(&dev->klist_children); 
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->dma_pools);	init_MUTEX(&dev->sem);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/36239577cfb6b9a7c111209536b54200b0252ebf/core.c/buggy/drivers/base/core.c