int fw_cfg_add_i64(FWCfgState *s, uint16_t key, uint64_t value)

{

    uint64_t *copy;



    copy = g_malloc(sizeof(value));

    *copy = cpu_to_le64(value);

    return fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value));

}

int fw_cfg_add_i64(FWCfgState *s, uint16_t key, uint64_t value)

{

    uint64_t *copy;



    copy = g_malloc(sizeof(value));

    *copy = cpu_to_le64(value);

    return fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value));

}

    return fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value));     return fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value)); int fw_cfg_add_i64(FWCfgState *s, uint16_t key, uint64_t value)     return fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value));
int FUNC_0(FWCfgState *VAR_0, uint16_t VAR_1, uint64_t VAR_2)

{

    uint64_t *copy;



    copy = g_malloc(sizeof(VAR_2));

    *copy = cpu_to_le64(VAR_2);

    return fw_cfg_add_bytes(VAR_0, VAR_1, (uint8_t *)copy, sizeof(VAR_2));

}

int FUNC_0(FWCfgState *VAR_0, uint16_t VAR_1, uint64_t VAR_2)
{ uint64_t *copy; copy = g_malloc(sizeof(VAR_2)); *copy = cpu_to_le64(VAR_2); return fw_cfg_add_bytes(VAR_0, VAR_1, (uint8_t *)copy, sizeof(VAR_2)); }