Searched refs:gic_clear_pending_sgi (Results 1 – 1 of 1) sorted by relevance
571 static inline uint32_t gic_clear_pending_sgi(GICState *s, int irq, int cpu) in gic_clear_pending_sgi() function631 ret = gic_clear_pending_sgi(s, irq, cpu); in gic_acknowledge_irq()