/* map the specified device/slot/pin to an IRQ. This works out such that slot 9 pin 1 is INT0, pin 2 is INT1, and slot 10 pin 1 is INT1.  */
static int __init integrator_map_irq(struct pci_dev *dev, u8 slot, u8 pin)
/* map the specified device/slot/pin to an IRQ. This works out such that slot 9 pin 1 is INT0, pin 2 is INT1, and slot 10 pin 1 is INT1.  */
static int __init integrator_map_irq(struct pci_dev *dev, u8 slot, u8 pin)
{
	int intnr = ((slot - 9) + (pin - 1)) & 3;
	return irq_tab[intnr];
}