···76767777int pcibios_map_irq(const struct pci_dev *dev, u8 slot, u8 pin)7878{7979- This is b0rked.8080- return dev->irq;7979+ return K_BCM1480_INT_PCI_INTA + pin;8180}82818382/* Do platform specific device initialization at pci_enable_device() time */