static void report_unavailable_features(FeatureWord w, uint32_t mask)

{

    FeatureWordInfo *f = &feature_word_info[w];

    int i;



    for (i = 0; i < 32; ++i) {

        if ((1UL << i) & mask) {

            const char *reg = get_register_name_32(f->cpuid_reg);

            assert(reg);

            fprintf(stderr, "warning: %s doesn't support requested feature: "

                "CPUID.%02XH:%s%s%s [bit %d]\n",

                kvm_enabled() ? "host" : "TCG",

                f->cpuid_eax, reg,

                f->feat_names[i] ? "." : "",

                f->feat_names[i] ? f->feat_names[i] : "", i);

        }

    }

}

static void report_unavailable_features(FeatureWord w, uint32_t mask)

{

    FeatureWordInfo *f = &feature_word_info[w];

    int i;



    for (i = 0; i < 32; ++i) {

        if ((1UL << i) & mask) {

            const char *reg = get_register_name_32(f->cpuid_reg);

            assert(reg);

            fprintf(stderr, "warning: %s doesn't support requested feature: "

                "CPUID.%02XH:%s%s%s [bit %d]\n",

                kvm_enabled() ? "host" : "TCG",

                f->cpuid_eax, reg,

                f->feat_names[i] ? "." : "",

                f->feat_names[i] ? f->feat_names[i] : "", i);

        }

    }

}

static void FUNC_0(FeatureWord VAR_0, uint32_t VAR_1)

{

    FeatureWordInfo *f = &feature_word_info[VAR_0];

    int VAR_2;



    for (VAR_2 = 0; VAR_2 < 32; ++VAR_2) {

        if ((1UL << VAR_2) & VAR_1) {

            const char *VAR_3 = get_register_name_32(f->cpuid_reg);

            assert(VAR_3);

            fprintf(stderr, "warning: %s doesn't support requested feature: "

                "CPUID.%02XH:%s%s%s [bit %d]\n",

                kvm_enabled() ? "host" : "TCG",

                f->cpuid_eax, VAR_3,

                f->feat_names[VAR_2] ? "." : "",

                f->feat_names[VAR_2] ? f->feat_names[VAR_2] : "", VAR_2);

        }

    }

}

static void FUNC_0(FeatureWord VAR_0, uint32_t VAR_1)
{ FeatureWordInfo *f = &feature_word_info[VAR_0]; int VAR_2; for (VAR_2 = 0; VAR_2 < 32; ++VAR_2) { if ((1UL << VAR_2) & VAR_1) { const char *VAR_3 = get_register_name_32(f->cpuid_reg); assert(VAR_3); fprintf(stderr, "warning: %s doesn't support requested feature: "
"CPUID.%02XH:%s%s%s [bit %d]\n",
kvm_enabled() ? "host" : "TCG",
f->cpuid_eax, VAR_3,
f->feat_names[VAR_2] ? "." : "",
f->feat_names[VAR_2] ? f->feat_names[VAR_2] : "", VAR_2); } } }