if (release_device_callback) release_device_callback(dev); 
if (vio_bus_ops.release_device) vio_bus_ops.release_device(dev); 
static void __devinit vio_dev_release(struct device *dev){	if (release_device_callback)		release_device_callback(dev);	kfree(to_vio_dev(dev));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/71d276d751ff5ddba28312aecefb174b20a5b970/vio.c/clean/arch/ppc64/kernel/vio.c