 DBGENTER(); 
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);	DBGENTER();	if (viodrv->remove) {		return viodrv->remove(viodev);	}	/* driver can't remove */	return 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/19dbd0f6a74f7529d6d49dd50ad6b31adbe0598d/vio.c/buggy/arch/ppc64/kernel/vio.c