static void put_float64(QEMUFile *f, void *pv, size_t size)

{

    uint64_t *v = pv;



    qemu_put_be64(f, float64_val(*v));

}

static void put_float64(QEMUFile *f, void *pv, size_t size)

{

    uint64_t *v = pv;



    qemu_put_be64(f, float64_val(*v));

}

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

{

    uint64_t *v = VAR_1;



    qemu_put_be64(VAR_0, float64_val(*v));

}

static void FUNC_0(QEMUFile *VAR_0, void *VAR_1, size_t VAR_2)
{ uint64_t *v = VAR_1; qemu_put_be64(VAR_0, float64_val(*v)); }