static int put_uint64_as_uint32(QEMUFile *f, void *pv, size_t size,

                                VMStateField *field, QJSON *vmdesc)

{

    uint64_t *v = pv;

    qemu_put_be32(f, *v);



    return 0;

}

static int put_uint64_as_uint32(QEMUFile *f, void *pv, size_t size,

                                VMStateField *field, QJSON *vmdesc)

{

    uint64_t *v = pv;

    qemu_put_be32(f, *v);



    return 0;

}

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

                                VMStateField *VAR_3, QJSON *VAR_4)

{

    uint64_t *v = VAR_1;

    qemu_put_be32(VAR_0, *v);



    return 0;

}

static int FUNC_0(QEMUFile *VAR_0, void *VAR_1, size_t VAR_2,
VMStateField *VAR_3, QJSON *VAR_4)
{ uint64_t *v = VAR_1; qemu_put_be32(VAR_0, *v); return 0; }