Searched refs:gicv2_disable_interrupt (Results 1 – 3 of 3) sorted by relevance
177 void gicv2_disable_interrupt(unsigned int id);
185 gicv2_disable_interrupt(id); in plat_ic_disable_interrupt()
361 void gicv2_disable_interrupt(unsigned int id) in gicv2_disable_interrupt() function