mdio_bus_exit(); 
static void __exit phy_exit(void){	phy_driver_unregister(&genphy_driver);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e13934563db047043ccead26412f552375cea90c/phy_device.c/buggy/drivers/net/phy/phy_device.c