Sven Schnelle (sv...@stackframe.org) just uploaded a new patch set to gerrit, 
which you can find at http://review.coreboot.org/1460

-gerrit

commit 59107b09138a8fe003835edcdd6aca5d9b422ae9
Author: Sven Schnelle <sv...@stackframe.org>
Date:   Mon Aug 20 11:12:27 2012 +0200

    Don't write automatic IRQ entries for disabled devices
    
    Change-Id: Ib3dae4f0957a2e0057c0dffb5eb9904af20dcd40
    Signed-off-by: Sven Schnelle <sv...@stackframe.org>
---
 src/arch/x86/boot/mpspec.c | 91 ++++++++++++++++++++++++----------------------
 1 file changed, 48 insertions(+), 43 deletions(-)

diff --git a/src/arch/x86/boot/mpspec.c b/src/arch/x86/boot/mpspec.c
index 44236f1..1f583fd 100644
--- a/src/arch/x86/boot/mpspec.c
+++ b/src/arch/x86/boot/mpspec.c
@@ -419,7 +419,7 @@ unsigned long __attribute__((weak)) 
write_smp_table(unsigned long addr)
        int isa_bus, pin, parentpin;
        device_t dev, parent, oldparent;
        void *tmp, *v;
-       int isaioapic = -1;
+       int isaioapic = -1, have_fixed_entries;
 
        v = smp_write_floating_table(addr, 0);
         mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
@@ -458,51 +458,56 @@ unsigned long __attribute__((weak)) 
write_smp_table(unsigned long addr)
 
        for(dev = all_devices; dev; dev = dev->next) {
 
-               if (dev->path.type != DEVICE_PATH_PCI)
+               if (dev->path.type != DEVICE_PATH_PCI || !dev->enabled)
                        continue;
 
-               pin = (dev->path.pci.devfn & 7) % 4;
-
-               if (dev->pci_irq_info[pin].ioapic_dst_id) {
-                       printk(BIOS_DEBUG, "fixed IRQ entry for: %s: INT%c# -> 
IOAPIC %d PIN %d\n", dev_path(dev),
-                              pin + 'A',
-                              dev->pci_irq_info[pin].ioapic_dst_id,
-                              dev->pci_irq_info[pin].ioapic_irq_pin);
-                       smp_write_intsrc(mc, mp_INT,
-                                        dev->pci_irq_info[pin].ioapic_flags,
-                                        dev->bus->secondary,
-                                        ((dev->path.pci.devfn & 0xf8) >> 1) | 
pin,
-                                        dev->pci_irq_info[pin].ioapic_dst_id,
-                                        dev->pci_irq_info[pin].ioapic_irq_pin);
-               } else {
-                               oldparent = parent = dev;
-                               while((parent = parent->bus->dev)) {
-                                       parentpin = (oldparent->path.pci.devfn 
>> 3) + (oldparent->path.pci.devfn & 7);
-                                       parentpin += dev->path.pci.devfn & 7;
-                                       parentpin += dev->path.pci.devfn >> 3;
-                                       parentpin %= 4;
-
-                                       if 
(parent->pci_irq_info[parentpin].ioapic_dst_id) {
-                                               printk(BIOS_DEBUG, "automatic 
IRQ entry for %s: INT%c# -> IOAPIC %d PIN %d\n",
-                                                      dev_path(dev), pin + 'A',
-                                                      
parent->pci_irq_info[parentpin].ioapic_dst_id,
-                                                      
parent->pci_irq_info[parentpin].ioapic_irq_pin);
-                                               smp_write_intsrc(mc, mp_INT,
-                                                                
parent->pci_irq_info[parentpin].ioapic_flags,
-                                                                
dev->bus->secondary,
-                                                                
((dev->path.pci.devfn & 0xf8) >> 1) | pin,
-                                                                
parent->pci_irq_info[parentpin].ioapic_dst_id,
-                                                                
parent->pci_irq_info[parentpin].ioapic_irq_pin);
-
-                                               break;
-                                       }
-
-                                       if (parent->path.type == 
DEVICE_PATH_PCI_DOMAIN) {
-                                               printk(BIOS_WARNING, "no IRQ 
found for %s\n", dev_path(dev));
-                                               break;
-                                       }
-                                       oldparent = parent;
+               have_fixed_entries = 0;
+               for (pin = 0; pin < 4; pin++) {
+                       if (dev->pci_irq_info[pin].ioapic_dst_id) {
+                               printk(BIOS_DEBUG, "fixed IRQ entry for: %s: 
INT%c# -> IOAPIC %d PIN %d\n", dev_path(dev),
+                                      pin + 'A',
+                                      dev->pci_irq_info[pin].ioapic_dst_id,
+                                      dev->pci_irq_info[pin].ioapic_irq_pin);
+                               smp_write_intsrc(mc, mp_INT,
+                                                
dev->pci_irq_info[pin].ioapic_flags,
+                                                dev->bus->secondary,
+                                                ((dev->path.pci.devfn & 0xf8) 
>> 1) | pin,
+                                                
dev->pci_irq_info[pin].ioapic_dst_id,
+                                                
dev->pci_irq_info[pin].ioapic_irq_pin);
+                               have_fixed_entries = 1;
+                       }
+               }
+
+               if (!have_fixed_entries) {
+                       pin = (dev->path.pci.devfn & 7) % 4;
+                       oldparent = parent = dev;
+                       while((parent = parent->bus->dev)) {
+                               parentpin = (oldparent->path.pci.devfn >> 3) + 
(oldparent->path.pci.devfn & 7);
+                               parentpin += dev->path.pci.devfn & 7;
+                               parentpin += dev->path.pci.devfn >> 3;
+                               parentpin %= 4;
+
+                               if 
(parent->pci_irq_info[parentpin].ioapic_dst_id) {
+                                       printk(BIOS_DEBUG, "automatic IRQ entry 
for %s: INT%c# -> IOAPIC %d PIN %d\n",
+                                              dev_path(dev), pin + 'A',
+                                              
parent->pci_irq_info[parentpin].ioapic_dst_id,
+                                              
parent->pci_irq_info[parentpin].ioapic_irq_pin);
+                                       smp_write_intsrc(mc, mp_INT,
+                                                        
parent->pci_irq_info[parentpin].ioapic_flags,
+                                                        dev->bus->secondary,
+                                                        ((dev->path.pci.devfn 
& 0xf8) >> 1) | pin,
+                                                        
parent->pci_irq_info[parentpin].ioapic_dst_id,
+                                                        
parent->pci_irq_info[parentpin].ioapic_irq_pin);
+
+                                       break;
                                }
+
+                               if (parent->path.type == 
DEVICE_PATH_PCI_DOMAIN) {
+                                       printk(BIOS_WARNING, "no IRQ found for 
%s\n", dev_path(dev));
+                                       break;
+                               }
+                               oldparent = parent;
+                       }
                }
        }
 

-- 
coreboot mailing list: coreboot@coreboot.org
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to