Lines Matching refs:gic_state
36 DO_UPCAST(type, gic, FROM_SYSBUS(gic_state, dev))
78 typedef struct gic_state
99 } gic_state;
103 static void gic_update(gic_state *s)
142 gic_set_pending_private(gic_state *s, int cpu, int irq)
157 gic_state *s = (gic_state *)opaque;
175 static void gic_set_running_irq(gic_state *s, int cpu, int irq)
186 static uint32_t gic_acknowledge_irq(gic_state *s, int cpu)
205 static void gic_complete_irq(gic_state * s, int cpu, int irq)
243 gic_state *s = (gic_state *)opaque;
363 gic_state *s = (gic_state *)opaque;
377 gic_state *s = (gic_state *)opaque;
522 gic_state *s = (gic_state *)opaque;
574 static uint32_t gic_cpu_read(gic_state *s, int cpu, int offset)
596 static void gic_cpu_write(gic_state *s, int cpu, int offset, uint32_t value)
619 static void gic_reset(gic_state *s)
649 gic_state *s = (gic_state *)opaque;
683 gic_state *s = (gic_state *)opaque;
720 static void gic_init(gic_state *s)
