Searched refs:best_irq (Results 1 - 1 of 1) sorted by relevance
| /external/qemu/hw/ | ||
| H A D | arm_gic.c | 105 int best_irq; local 120 best_irq = 1023; 125 best_irq = irq; 131 s->current_pending[cpu] = best_irq; 133 DPRINTF("Raised pending IRQ %d\n", best_irq); |
Completed in 39 milliseconds