Searched refs:gicv3_acknowledge_interrupt_sel1 (Results 1 – 2 of 2) sorted by relevance
357 return gicv3_acknowledge_interrupt_sel1(); in plat_ic_acknowledge_interrupt()
386 static inline uint32_t gicv3_acknowledge_interrupt_sel1(void) in gicv3_acknowledge_interrupt_sel1() function