memory_dev_init(); 
void __init driver_init(void){	/* These are the core pieces */	devices_init();	buses_init();	classes_init();	firmware_init();	/* These are also core pieces, but must come after the	 * core core pieces.	 */	platform_bus_init();	system_bus_init();	cpu_dev_init();	attribute_container_init();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3947be1969a9ce455ec30f60ef51efb10e4323d1/init.c/buggy/drivers/base/init.c