static int __init vio_bus_init(void) 
int __init vio_bus_init(void) 
static int __init vio_bus_init(void){	int err;	err = bus_register(&vio_bus_type);	if (err) {		printk(KERN_ERR "failed to register VIO bus\n");		return err;	}	/* the fake parent of all vio devices, just to give us a nice directory */	err = device_register(&vio_bus_device.dev);	if (err) {		printk(KERN_WARNING "%s: device_register returned %i\n", __FUNCTION__,			err);		return err;	}#ifdef CONFIG_PPC_PSERIES	probe_bus_pseries();#endif#ifdef CONFIG_PPC_ISERIES	probe_bus_iseries();#endif	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3e494c80481653bbc810b4e67651097595ea0294/vio.c/buggy/arch/ppc64/kernel/vio.c