if (unregister_device_callback) unregister_device_callback(viodev); 
if (vio_bus_ops.unregister_device) vio_bus_ops.unregister_device(viodev); 
void __devinit vio_unregister_device(struct vio_dev *viodev){	if (unregister_device_callback)		unregister_device_callback(viodev);	device_remove_file(&viodev->dev, &dev_attr_name);	device_unregister(&viodev->dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/71d276d751ff5ddba28312aecefb174b20a5b970/vio.c/clean/arch/ppc64/kernel/vio.c