Rewrite interrupt handling in coreboot to be more comprehensible and

[coreboot.git] / src / include / device / pci.h

diff --git a/src/include/device/pci.h b/src/include/device/pci.h
index ad005cfe89701880c169d8902497827204d600c1..df9e80dbbb736509225718409f68929ae4ae547b 100644 (file)
--- a/src/include/device/pci.h
+++ b/src/include/device/pci.h
@@ -73,7 +73,7 @@ unsigned pci_find_capability(device_t dev, unsigned cap);
 struct resource *pci_get_resource(struct device *dev, unsigned long index);
 void pci_dev_set_subsystem(device_t dev, unsigned vendor, unsigned device);
 void pci_dev_init(struct device *dev);
-void pci_level_irq(unsigned char intNum);
+
 void pci_assign_irqs(unsigned bus, unsigned slot,
                     const unsigned char pIntAtoD[4]);