static void fw_cfg_boot_set(void *opaque, const char *boot_device,

                            Error **errp)

{

    fw_cfg_add_i16(opaque, FW_CFG_BOOT_DEVICE, boot_device[0]);

}

static void fw_cfg_boot_set(void *opaque, const char *boot_device,

                            Error **errp)

{

    fw_cfg_add_i16(opaque, FW_CFG_BOOT_DEVICE, boot_device[0]);

}

    fw_cfg_add_i16(opaque, FW_CFG_BOOT_DEVICE, boot_device[0]);     fw_cfg_add_i16(opaque, FW_CFG_BOOT_DEVICE, boot_device[0]);     fw_cfg_add_i16(opaque, FW_CFG_BOOT_DEVICE, boot_device[0]);     fw_cfg_add_i16(opaque, FW_CFG_BOOT_DEVICE, boot_device[0]);
static void FUNC_0(void *VAR_0, const char *VAR_1,

                            Error **VAR_2)

{

    fw_cfg_add_i16(VAR_0, FW_CFG_BOOT_DEVICE, VAR_1[0]);

}

static void FUNC_0(void *VAR_0, const char *VAR_1,
Error **VAR_2)
{ fw_cfg_add_i16(VAR_0, FW_CFG_BOOT_DEVICE, VAR_1[0]); }