Searched refs:gicv2_acknowledge_interrupt (Results 1 – 4 of 4) sorted by relevance
24 return gicv2_acknowledge_interrupt(); in plat_ic_acknowledge_interrupt()
178 unsigned int gicv2_acknowledge_interrupt(void);
90 return gicv2_acknowledge_interrupt(); in plat_ic_acknowledge_interrupt()
247 unsigned int gicv2_acknowledge_interrupt(void) in gicv2_acknowledge_interrupt() function