Searched refs:gic_get_best_irq (Results 1 – 1 of 1) sorted by relevance
85 static inline void gic_get_best_irq(GICState *s, int cpu, in gic_get_best_irq() function188 gic_get_best_irq(s, cpu, &best_irq, &best_prio, &group); in gic_update_internal()