Searched refs:gicv2_disable_interrupt (Results 1 – 3 of 3) sorted by relevance
189 void gicv2_disable_interrupt(unsigned int id);
195 gicv2_disable_interrupt(id); in plat_ic_disable_interrupt()
362 void gicv2_disable_interrupt(unsigned int id) in gicv2_disable_interrupt() function