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