Searched refs:best_irq (Results 1 – 1 of 1) sorted by relevance
105 int best_irq; in gic_update() local120 best_irq = 1023; in gic_update()125 best_irq = irq; in gic_update()131 s->current_pending[cpu] = best_irq; in gic_update()133 DPRINTF("Raised pending IRQ %d\n", best_irq); in gic_update()