/* This informs the device driver that the device is permanently dead, and that no further recovery attempts will be made on it.  */
static int eeh_report_failure(struct pci_dev *dev, void *userdata)
/* This informs the device driver that the device is permanently dead, and that no further recovery attempts will be made on it.  */
static int eeh_report_failure(struct pci_dev *dev, void *userdata)
{
	struct pci_driver *driver = dev->driver;
	dev->error_state = pci_channel_io_perm_failure;
	if (!driver)
		return 0;
	eeh_disable_irq(dev);
	if (!driver->err_handler ||
	    !driver->err_handler->error_detected)
		return 0;
	driver->err_handler->error_detected(dev, pci_channel_io_perm_failure);
	return 0;
}