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