Symbol: isa_irq