Searched refs:gicv3_end_of_interrupt_sel1 (Results 1 – 2 of 2) sorted by relevance
404 gicv3_end_of_interrupt_sel1(id); in plat_ic_end_of_interrupt()
396 static inline void gicv3_end_of_interrupt_sel1(unsigned int id) in gicv3_end_of_interrupt_sel1() function