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

{

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

    return 0;

}

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

{

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

    return 0;

}

static int FUNC_0(void *VAR_0, const char *VAR_1)

{

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

    return 0;

}

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