Searched refs:gic_intid (Results 1 – 1 of 1) sorted by relevance
220 uint16_t gic_intid; in bsp_common_interrupt_handler() local224 gic_intid = (uint16_t) (id & BSP_PRV_ID_MASK); in bsp_common_interrupt_handler()226 irq = (IRQn_Type) (gic_intid - BSP_CORTEX_VECTOR_TABLE_ENTRIES); in bsp_common_interrupt_handler()236 if (BSP_CORTEX_VECTOR_TABLE_ENTRIES <= gic_intid) in bsp_common_interrupt_handler()245 g_sgi_ppi_vector_table[gic_intid](); in bsp_common_interrupt_handler()
