Symbol: ti_aintc_irq_eoi