static void gic_dist_writew(void *opaque, target_phys_addr_t offset,

                            uint32_t value)

{

    gic_dist_writeb(opaque, offset, value & 0xff);

    gic_dist_writeb(opaque, offset + 1, value >> 8);

}

static void gic_dist_writew(void *opaque, target_phys_addr_t offset,

                            uint32_t value)

{

    gic_dist_writeb(opaque, offset, value & 0xff);

    gic_dist_writeb(opaque, offset + 1, value >> 8);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                            uint32_t VAR_2)

{

    gic_dist_writeb(VAR_0, VAR_1, VAR_2 & 0xff);

    gic_dist_writeb(VAR_0, VAR_1 + 1, VAR_2 >> 8);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint32_t VAR_2)
{ gic_dist_writeb(VAR_0, VAR_1, VAR_2 & 0xff); gic_dist_writeb(VAR_0, VAR_1 + 1, VAR_2 >> 8); }