Symbol: ARIZONA_MAIN_IRQ_INDEX