Searched refs:gicv2_end_of_interrupt (Results 1 – 4 of 4) sorted by relevance
43 gicv2_end_of_interrupt(id); in plat_ic_end_of_interrupt()
179 void gicv2_end_of_interrupt(unsigned int id);
119 gicv2_end_of_interrupt(id); in plat_ic_end_of_interrupt()
259 void gicv2_end_of_interrupt(unsigned int id) in gicv2_end_of_interrupt() function