Searched refs:gicv3_end_of_interrupt (Results 1 – 2 of 2) sorted by relevance
145 gicv3_end_of_interrupt(id); in plat_ic_end_of_interrupt()
421 static inline void gicv3_end_of_interrupt(unsigned int id) in gicv3_end_of_interrupt() function