Searched refs:gicv2_end_of_interrupt (Results 1 – 5 of 5) sorted by relevance
32 gicv2_end_of_interrupt((uint32_t) int_id); in bl2_interrupt_error_id()
171 void gicv2_end_of_interrupt(unsigned int id);
122 gicv2_end_of_interrupt(id); in plat_ic_end_of_interrupt()
162 gicv2_end_of_interrupt(ARM_IRQ_SEC_WDT); in rcar_swdt_exec()
245 void gicv2_end_of_interrupt(unsigned int id) in gicv2_end_of_interrupt() function