Symbol: SGI_EISA_IRQ