Searched refs:gicv2_end_of_interrupt (Results 1 – 6 of 6) sorted by relevance
32 gicv2_end_of_interrupt((uint32_t) int_id); in bl2_interrupt_error_id()
51 gicv2_end_of_interrupt(interrupt); in stm32_cpu_standby()
183 void gicv2_end_of_interrupt(unsigned int id);
164 gicv2_end_of_interrupt(ARM_IRQ_SEC_WDT); in rcar_swdt_exec()
131 gicv2_end_of_interrupt(id); in plat_ic_end_of_interrupt()
246 void gicv2_end_of_interrupt(unsigned int id) in gicv2_end_of_interrupt() function