/* @dev: The Linux PCI device structure for the device to map @slot: The slot number for this device on  */
int __init 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 pcibios_map_irq(const struct pci_dev *dev, u8 slot, u8 pin)
{
	if (octeon_pcibios_map_irq)
		return octeon_pcibios_map_irq(dev, slot, pin);
	else
		panic("octeon_pcibios_map_irq not set.");
}