} 
static int vio_bus_remove(struct device *dev){	struct vio_dev *viodev = to_vio_dev(dev);	struct vio_driver *viodrv = to_vio_driver(dev->driver);	if (viodrv->remove) {		return viodrv->remove(viodev);	}	/* driver can't remove */	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5c0b4b8759f78c31172088a91e10733fc014ccee/vio.c/buggy/arch/ppc64/kernel/vio.c