 vio_unregister_device(vio_dev); 
int dlpar_remove_vio_slot(struct slot *slot, char *drc_name){	/* Remove hotplug slot */	if (rpaphp_remove_slot(slot)) {		printk(KERN_ERR "%s: unable to remove hotplug slot %s\n",			__FUNCTION__, drc_name);		return -EIO;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5eeb8c63a38ff20285f3bbe7bcfe5e7c33c8ba14/rpadlpar_core.c/buggy/drivers/pci/hotplug/rpadlpar_core.c