/* @dev: The Linux PCI device structure for the device to map @slot: The slot number for this device on  */
int __init octeon_pcie_pcibios_map_irq(const struct pci_dev *dev, u8 slot, u8 pin)
/* @dev: The Linux PCI device structure for the device to map @slot: The slot number for this device on  */
int __init octeon_pcie_pcibios_map_irq(const struct pci_dev *dev, u8 slot, u8 pin)
{
	if (strstr(octeon_board_type_string(), "EBH5600") &&
	    dev->bus && dev->bus->parent) {
		while (dev->bus && dev->bus->parent)
			dev = to_pci_dev(dev->bus->bridge);
		if ((dev->bus->number == 0) &&
		    (dev->vendor == 0x10b5) && (dev->device == 0x8114)) {
			pin = ((pin - 3) & 3) + 1;
		}
	}
	return pin - 1 + OCTEON_IRQ_PCI_INT0;
}