Hi guys, Ralf's fixes in arch/mips/pci/pci-bcm1480.c break on our board. Multiple devices somehow report the same pin number (or perhaps some invalid pin number that is mapped to 1). The mapping function then assigns IRQ 8 to multiple devices. The old ``return dev->irq'' in pcibios_map_irq worked fine. What was the issue: is it that CFE sets up these IRQ numbers, such that they might not correspond to pins?