Searched refs:gic_get_current_pending_irq (Results 1 – 1 of 1) sorted by relevance
422 static uint16_t gic_get_current_pending_irq(GICState *s, int cpu, in gic_get_current_pending_irq() function607 irq = gic_get_current_pending_irq(s, cpu, attrs); in gic_acknowledge_irq()1651 *data = gic_get_current_pending_irq(s, cpu, attrs); in gic_cpu_read()