diff --git a/src/device/pci_device.c b/src/device/pci_device.c
index 3634660..63c1dc5 100644
--- a/src/device/pci_device.c
+++ b/src/device/pci_device.c
@@ -1633,11 +1633,10 @@
 
 		printk(BIOS_DEBUG, "Assigning IRQ %d to %s\n", irq, dev_path(dev));
 
-		pci_write_config8(dev, PCI_INTERRUPT_LINE, pIntAtoD[line - 1]);
+		pci_write_config8(dev, PCI_INTERRUPT_LINE, irq);
 
 		/* Change to level triggered. */
-		i8259_configure_irq_trigger(pIntAtoD[line - 1],
-					    IRQ_LEVEL_TRIGGERED);
+		i8259_configure_irq_trigger(irq, IRQ_LEVEL_TRIGGERED);
 	}
 }