static void qobject_output_type_uint64(Visitor *v, const char *name,

                                       uint64_t *obj, Error **errp)

{

    /* FIXME values larger than INT64_MAX become negative */

    QObjectOutputVisitor *qov = to_qov(v);

    qobject_output_add(qov, name, qnum_from_int(*obj));

}

static void qobject_output_type_uint64(Visitor *v, const char *name,

                                       uint64_t *obj, Error **errp)

{

    

    QObjectOutputVisitor *qov = to_qov(v);

    qobject_output_add(qov, name, qnum_from_int(*obj));

}

    qobject_output_add(qov, name, qnum_from_int(*obj));
static void FUNC_0(Visitor *VAR_0, const char *VAR_1,

                                       uint64_t *VAR_2, Error **VAR_3)

{

    

    QObjectOutputVisitor *qov = to_qov(VAR_0);

    qobject_output_add(qov, VAR_1, qnum_from_int(*VAR_2));

}

static void FUNC_0(Visitor *VAR_0, const char *VAR_1,
uint64_t *VAR_2, Error **VAR_3)
{ QObjectOutputVisitor *qov = to_qov(VAR_0); qobject_output_add(qov, VAR_1, qnum_from_int(*VAR_2)); }