void qemu_put_be64(QEMUFile *f, uint64_t v)

{

    qemu_put_be32(f, v >> 32);

    qemu_put_be32(f, v);

}

void qemu_put_be64(QEMUFile *f, uint64_t v)

{

    qemu_put_be32(f, v >> 32);

    qemu_put_be32(f, v);

}

void FUNC_0(QEMUFile *VAR_0, uint64_t VAR_1)

{

    qemu_put_be32(VAR_0, VAR_1 >> 32);

    qemu_put_be32(VAR_0, VAR_1);

}

void FUNC_0(QEMUFile *VAR_0, uint64_t VAR_1)
{ qemu_put_be32(VAR_0, VAR_1 >> 32); qemu_put_be32(VAR_0, VAR_1); }