Searched refs:intr_id (Results 1 – 1 of 1) sorted by relevance
159 uint32_t intr_id; in rdo_el3_interrupt_handler() local162 intr_id = plat_ic_get_pending_interrupt_id(); in rdo_el3_interrupt_handler()163 handler = type_el3_interrupt_table[intr_id]; in rdo_el3_interrupt_handler()165 handler(intr_id, flags, handle, cookie); in rdo_el3_interrupt_handler()