static int __init mdio_bus_init(void) 
int __init mdio_bus_init(void) 
static int __init mdio_bus_init(void){	return bus_register(&mdio_bus_type);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/67c4f3fa25502ce7ed82fb0307e09cf36f1f81da/mdio_bus.c/buggy/drivers/net/phy/mdio_bus.c