printk(KERN_DEBUG "EEH: remove device %s %s\n", pci_name(dev), pci_pretty_name(dev));
printk(KERN_DEBUG "EEH: remove device %s\n", pci_name(dev));
void eeh_remove_device(struct pci_dev *dev){	if (!dev || !eeh_subsystem_enabled)		return;	/* Unregister the device with the EEH/PCI address search system */#ifdef DEBUG	printk(KERN_DEBUG "EEH: remove device %s %s\n", pci_name(dev),	       pci_pretty_name(dev));#endif	pci_addr_cache_remove_device(dev);}