Searched refs:pending_irq (Results 1 – 1 of 1) sorted by relevance
425 uint16_t pending_irq = s->current_pending[cpu]; in gic_get_current_pending_irq() local427 if (pending_irq < GIC_MAXIRQ && gic_has_groups(s)) { in gic_get_current_pending_irq()428 int group = gic_test_group(s, pending_irq, cpu); in gic_get_current_pending_irq()446 return pending_irq; in gic_get_current_pending_irq()