static void x86_cpuid_set_tsc_freq(Object *obj, Visitor *v, void *opaque,

                                   const char *name, Error **errp)

{

    X86CPU *cpu = X86_CPU(obj);

    const int64_t min = 0;

    const int64_t max = INT_MAX;

    int64_t value;



    visit_type_int(v, &value, name, errp);

    if (error_is_set(errp)) {

        return;

    }

    if (value < min || value > max) {

        error_set(errp, QERR_PROPERTY_VALUE_OUT_OF_RANGE, "",

                  name ? name : "null", value, min, max);

        return;

    }



    cpu->env.tsc_khz = value / 1000;

}

static void x86_cpuid_set_tsc_freq(Object *obj, Visitor *v, void *opaque,

                                   const char *name, Error **errp)

{

    X86CPU *cpu = X86_CPU(obj);

    const int64_t min = 0;

    const int64_t max = INT_MAX;

    int64_t value;



    visit_type_int(v, &value, name, errp);

    if (error_is_set(errp)) {

        return;

    }

    if (value < min || value > max) {

        error_set(errp, QERR_PROPERTY_VALUE_OUT_OF_RANGE, "",

                  name ? name : "null", value, min, max);

        return;

    }



    cpu->env.tsc_khz = value / 1000;

}

static void FUNC_0(Object *VAR_0, Visitor *VAR_1, void *VAR_2,

                                   const char *VAR_3, Error **VAR_4)

{

    X86CPU *cpu = X86_CPU(VAR_0);

    const int64_t VAR_5 = 0;

    const int64_t VAR_6 = INT_MAX;

    int64_t value;



    visit_type_int(VAR_1, &value, VAR_3, VAR_4);

    if (error_is_set(VAR_4)) {

        return;

    }

    if (value < VAR_5 || value > VAR_6) {

        error_set(VAR_4, QERR_PROPERTY_VALUE_OUT_OF_RANGE, "",

                  VAR_3 ? VAR_3 : "null", value, VAR_5, VAR_6);

        return;

    }



    cpu->env.tsc_khz = value / 1000;

}

static void FUNC_0(Object *VAR_0, Visitor *VAR_1, void *VAR_2,
const char *VAR_3, Error **VAR_4)
{ X86CPU *cpu = X86_CPU(VAR_0); const int64_t VAR_5 = 0; const int64_t VAR_6 = INT_MAX; int64_t value; visit_type_int(VAR_1, &value, VAR_3, VAR_4); if (error_is_set(VAR_4)) { return; } if (value < VAR_5 || value > VAR_6) { error_set(VAR_4, QERR_PROPERTY_VALUE_OUT_OF_RANGE, "",
VAR_3 ? VAR_3 : "null", value, VAR_5, VAR_6); return; } cpu->env.tsc_khz = value / 1000; }