pci_disable_device(hc_dev); 
static int zt5550_hc_cleanup(void){	if(!hc_dev)		return -ENODEV;	iounmap(hc_registers);	release_mem_region(pci_resource_start(hc_dev, 1),			   pci_resource_len(hc_dev, 1));	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c8920f0c8b3b42537ab4a54ff92c11daf48fdfec/cpcihp_zt5550.c/clean/drivers/pci/hotplug/cpcihp_zt5550.c