diff options
| -rw-r--r-- | src/device/pci_device.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/device/pci_device.c b/src/device/pci_device.c index 032e15c669..3623c3b564 100644 --- a/src/device/pci_device.c +++ b/src/device/pci_device.c @@ -1631,11 +1631,6 @@ void pci_assign_irqs(struct device *dev, const unsigned char pIntAtoD[4]) pci_write_config8(dev, PCI_INTERRUPT_LINE, pIntAtoD[line - 1]); -#ifdef PARANOID_IRQ_ASSIGNMENTS - irq = pci_read_config8(pdev, PCI_INTERRUPT_LINE); - printk(BIOS_DEBUG, " Readback = %d\n", irq); -#endif - #if CONFIG(PC80_SYSTEM) /* Change to level triggered. */ i8259_configure_irq_trigger(pIntAtoD[line - 1], |