Searched refs:gic_set_active (Results 1 – 2 of 2) sorted by relevance
271 static inline void gic_set_active(GICState *s, int irq, int cpu) in gic_set_active() function
500 gic_set_active(s, irq, cpu); in gic_activate_irq()