DBGENTER(); #ifdef CONFIG_PPC_PSERIES device_remove_file(&viodev->dev, &dev_attr_devspec); #endif 
if (unregister_device_callback) unregister_device_callback(viodev); 
void __devinit vio_unregister_device(struct vio_dev *viodev){	DBGENTER();#ifdef CONFIG_PPC_PSERIES	device_remove_file(&viodev->dev, &dev_attr_devspec);#endif	device_remove_file(&viodev->dev, &dev_attr_name);	device_unregister(&viodev->dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/19dbd0f6a74f7529d6d49dd50ad6b31adbe0598d/vio.c/buggy/arch/ppc64/kernel/vio.c