static int get_float64(QEMUFile *f, void *pv, size_t size)

{

    float64 *v = pv;



    *v = make_float64(qemu_get_be64(f));

    return 0;

}

static int get_float64(QEMUFile *f, void *pv, size_t size)

{

    float64 *v = pv;



    *v = make_float64(qemu_get_be64(f));

    return 0;

}

static int FUNC_0(QEMUFile *VAR_0, void *VAR_1, size_t VAR_2)

{

    float64 *v = VAR_1;



    *v = make_float64(qemu_get_be64(VAR_0));

    return 0;

}

static int FUNC_0(QEMUFile *VAR_0, void *VAR_1, size_t VAR_2)
{ float64 *v = VAR_1; *v = make_float64(qemu_get_be64(VAR_0)); return 0; }