void 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);

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

}

void 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);

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

}

    fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value));     fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value));     fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value));
void 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);

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

}

void 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); fw_cfg_add_bytes(VAR_0, VAR_1, (uint8_t *)copy, sizeof(VAR_2)); }