Symbol: BONITO_IRQ_TO_ISA