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