Searched refs:arm_gic_end_of_interrupt (Results 1 – 3 of 3) sorted by relevance
54 void arm_gic_end_of_interrupt(uint32_t id);
66 arm_gic_end_of_interrupt(id); in plat_ic_end_of_interrupt()
449 void arm_gic_end_of_interrupt(uint32_t id) in arm_gic_end_of_interrupt() function