Hello guys, In arch/i386/kernel/bios32.c/pcibios_fixup_devices() function there is a piece of code that fixes up IRQs for PCI devices if the MP topology requires so (via IO_APIC_get_PCI_irq_vector()). Am I right to conclude that if PCI BIOS configured a device with, say irq=5, and the device is on a plug-in card with its own PCI-PCI bridge (so it is on bus=2, while MP table only mentions buses=0,1) then it should be left as is, i.e. irq=5? regards, Tigran.
