static void fw_cfg_comb_write(void *opaque, target_phys_addr_t addr,

                              uint64_t value, unsigned size)

{

    switch (size) {

    case 1:

        fw_cfg_write(opaque, (uint8_t)value);

        break;

    case 2:

        fw_cfg_select(opaque, (uint16_t)value);

        break;

    }

}

static void fw_cfg_comb_write(void *opaque, target_phys_addr_t addr,

                              uint64_t value, unsigned size)

{

    switch (size) {

    case 1:

        fw_cfg_write(opaque, (uint8_t)value);

        break;

    case 2:

        fw_cfg_select(opaque, (uint16_t)value);

        break;

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                              uint64_t VAR_2, unsigned VAR_3)

{

    switch (VAR_3) {

    case 1:

        fw_cfg_write(VAR_0, (uint8_t)VAR_2);

        break;

    case 2:

        fw_cfg_select(VAR_0, (uint16_t)VAR_2);

        break;

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ switch (VAR_3) { case 1:
fw_cfg_write(VAR_0, (uint8_t)VAR_2); break; case 2:
fw_cfg_select(VAR_0, (uint16_t)VAR_2); break; } }