static void gic_thiscpu_write(void *opaque, target_phys_addr_t addr,

                              uint64_t value, unsigned size)

{

    GICState *s = (GICState *)opaque;

    gic_cpu_write(s, gic_get_current_cpu(s), addr, value);

}

static void gic_thiscpu_write(void *opaque, target_phys_addr_t addr,

                              uint64_t value, unsigned size)

{

    GICState *s = (GICState *)opaque;

    gic_cpu_write(s, gic_get_current_cpu(s), addr, value);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                              uint64_t VAR_2, unsigned VAR_3)

{

    GICState *s = (GICState *)VAR_0;

    gic_cpu_write(s, gic_get_current_cpu(s), VAR_1, VAR_2);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ GICState *s = (GICState *)VAR_0; gic_cpu_write(s, gic_get_current_cpu(s), VAR_1, VAR_2); }