IRQ_PCI
isa_init_irq(IRQ_PCI);
return IRQ_PCI;
static int irqmap_ebsa285[] = { IRQ_IN3, IRQ_IN1, IRQ_IN0, IRQ_PCI };
[IRQ_PCI] = BCM_## __cpu ##_PCI_IRQ, \
return bcm63xx_get_irq_number(IRQ_PCI);