static void add_flagname_to_bitmaps(const char *flagname, uint32_t *features,

                                    uint32_t *ext_features,

                                    uint32_t *ext2_features,

                                    uint32_t *ext3_features,

                                    uint32_t *kvm_features,

                                    uint32_t *svm_features)

{

    if (!lookup_feature(features, flagname, NULL, feature_name) &&

        !lookup_feature(ext_features, flagname, NULL, ext_feature_name) &&

        !lookup_feature(ext2_features, flagname, NULL, ext2_feature_name) &&

        !lookup_feature(ext3_features, flagname, NULL, ext3_feature_name) &&

        !lookup_feature(kvm_features, flagname, NULL, kvm_feature_name) &&

        !lookup_feature(svm_features, flagname, NULL, svm_feature_name))

            fprintf(stderr, "CPU feature %s not found\n", flagname);

}

static void add_flagname_to_bitmaps(const char *flagname, uint32_t *features,

                                    uint32_t *ext_features,

                                    uint32_t *ext2_features,

                                    uint32_t *ext3_features,

                                    uint32_t *kvm_features,

                                    uint32_t *svm_features)

{

    if (!lookup_feature(features, flagname, NULL, feature_name) &&

        !lookup_feature(ext_features, flagname, NULL, ext_feature_name) &&

        !lookup_feature(ext2_features, flagname, NULL, ext2_feature_name) &&

        !lookup_feature(ext3_features, flagname, NULL, ext3_feature_name) &&

        !lookup_feature(kvm_features, flagname, NULL, kvm_feature_name) &&

        !lookup_feature(svm_features, flagname, NULL, svm_feature_name))

            fprintf(stderr, "CPU feature %s not found\n", flagname);

}

static void FUNC_0(const char *VAR_0, uint32_t *VAR_1,

                                    uint32_t *VAR_2,

                                    uint32_t *VAR_3,

                                    uint32_t *VAR_4,

                                    uint32_t *VAR_5,

                                    uint32_t *VAR_6)

{

    if (!lookup_feature(VAR_1, VAR_0, NULL, feature_name) &&

        !lookup_feature(VAR_2, VAR_0, NULL, ext_feature_name) &&

        !lookup_feature(VAR_3, VAR_0, NULL, ext2_feature_name) &&

        !lookup_feature(VAR_4, VAR_0, NULL, ext3_feature_name) &&

        !lookup_feature(VAR_5, VAR_0, NULL, kvm_feature_name) &&

        !lookup_feature(VAR_6, VAR_0, NULL, svm_feature_name))

            fprintf(stderr, "CPU feature %s not found\n", VAR_0);

}

static void FUNC_0(const char *VAR_0, uint32_t *VAR_1,
uint32_t *VAR_2,
uint32_t *VAR_3,
uint32_t *VAR_4,
uint32_t *VAR_5,
uint32_t *VAR_6)
{ if (!lookup_feature(VAR_1, VAR_0, NULL, feature_name) &&
!lookup_feature(VAR_2, VAR_0, NULL, ext_feature_name) &&
!lookup_feature(VAR_3, VAR_0, NULL, ext2_feature_name) &&
!lookup_feature(VAR_4, VAR_0, NULL, ext3_feature_name) &&
!lookup_feature(VAR_5, VAR_0, NULL, kvm_feature_name) &&
!lookup_feature(VAR_6, VAR_0, NULL, svm_feature_name))
fprintf(stderr, "CPU feature %s not found\n", VAR_0); }