void __exit mdio_bus_exit(void) 
void mdio_bus_exit(void) 
void __exit mdio_bus_exit(void){	bus_unregister(&mdio_bus_type);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dc85dec68880176c8ba05f68218a161964cada46/mdio_bus.c/clean/drivers/net/phy/mdio_bus.c