Searched refs:gic_acknowledge_irq (Results 1 – 3 of 3) sorted by relevance
162 uint32_t gic_acknowledge_irq(GICState *s, int cpu, MemTxAttrs attrs);
599 uint32_t gic_acknowledge_irq(GICState *s, int cpu, MemTxAttrs attrs) in gic_acknowledge_irq() function1645 *data = gic_acknowledge_irq(s, cpu, attrs); in gic_cpu_read()
102 gic_acknowledge_irq(const char *s, int cpu, int irq) "%s %d acknowledged irq %d"