Searched refs:gic_get_priority (Results 1 – 2 of 2) sorted by relevance
316 static inline int gic_get_priority(GICState *s, int irq, int cpu) in gic_get_priority() function
473 return gic_get_priority(s, irq, cpu) & mask; in gic_get_group_priority()616 if (gic_get_priority(s, irq, cpu) >= s->running_priority[cpu]) { in gic_acknowledge_irq()