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)

{

    int i;

    int found = 0;



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

        if (feature_name[i] && !strcmp (flagname, feature_name[i])) {

            *features |= 1 << i;

            found = 1;

        }

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

        if (ext_feature_name[i] && !strcmp (flagname, ext_feature_name[i])) {

            *ext_features |= 1 << i;

            found = 1;

        }

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

        if (ext2_feature_name[i] && !strcmp (flagname, ext2_feature_name[i])) {

            *ext2_features |= 1 << i;

            found = 1;

        }

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

        if (ext3_feature_name[i] && !strcmp (flagname, ext3_feature_name[i])) {

            *ext3_features |= 1 << i;

            found = 1;

        }

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

        if (kvm_feature_name[i] && !strcmp (flagname, kvm_feature_name[i])) {

            *kvm_features |= 1 << i;

            found = 1;

        }



    if (!found) {

        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)

{

    int i;

    int found = 0;



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

        if (feature_name[i] && !strcmp (flagname, feature_name[i])) {

            *features |= 1 << i;

            found = 1;

        }

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

        if (ext_feature_name[i] && !strcmp (flagname, ext_feature_name[i])) {

            *ext_features |= 1 << i;

            found = 1;

        }

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

        if (ext2_feature_name[i] && !strcmp (flagname, ext2_feature_name[i])) {

            *ext2_features |= 1 << i;

            found = 1;

        }

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

        if (ext3_feature_name[i] && !strcmp (flagname, ext3_feature_name[i])) {

            *ext3_features |= 1 << i;

            found = 1;

        }

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

        if (kvm_feature_name[i] && !strcmp (flagname, kvm_feature_name[i])) {

            *kvm_features |= 1 << i;

            found = 1;

        }



    if (!found) {

        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)

{

    int VAR_6;

    int VAR_7 = 0;



    for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ )

        if (feature_name[VAR_6] && !strcmp (VAR_0, feature_name[VAR_6])) {

            *VAR_1 |= 1 << VAR_6;

            VAR_7 = 1;

        }

    for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ )

        if (ext_feature_name[VAR_6] && !strcmp (VAR_0, ext_feature_name[VAR_6])) {

            *VAR_2 |= 1 << VAR_6;

            VAR_7 = 1;

        }

    for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ )

        if (ext2_feature_name[VAR_6] && !strcmp (VAR_0, ext2_feature_name[VAR_6])) {

            *VAR_3 |= 1 << VAR_6;

            VAR_7 = 1;

        }

    for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ )

        if (ext3_feature_name[VAR_6] && !strcmp (VAR_0, ext3_feature_name[VAR_6])) {

            *VAR_4 |= 1 << VAR_6;

            VAR_7 = 1;

        }

    for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ )

        if (kvm_feature_name[VAR_6] && !strcmp (VAR_0, kvm_feature_name[VAR_6])) {

            *VAR_5 |= 1 << VAR_6;

            VAR_7 = 1;

        }



    if (!VAR_7) {

        fprintf(stderr, "CPU feature %s not VAR_7\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)
{ int VAR_6; int VAR_7 = 0; for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ ) if (feature_name[VAR_6] && !strcmp (VAR_0, feature_name[VAR_6])) { *VAR_1 |= 1 << VAR_6; VAR_7 = 1; } for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ ) if (ext_feature_name[VAR_6] && !strcmp (VAR_0, ext_feature_name[VAR_6])) { *VAR_2 |= 1 << VAR_6; VAR_7 = 1; } for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ ) if (ext2_feature_name[VAR_6] && !strcmp (VAR_0, ext2_feature_name[VAR_6])) { *VAR_3 |= 1 << VAR_6; VAR_7 = 1; } for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ ) if (ext3_feature_name[VAR_6] && !strcmp (VAR_0, ext3_feature_name[VAR_6])) { *VAR_4 |= 1 << VAR_6; VAR_7 = 1; } for ( VAR_6 = 0 ; VAR_6 < 32 ; VAR_6++ ) if (kvm_feature_name[VAR_6] && !strcmp (VAR_0, kvm_feature_name[VAR_6])) { *VAR_5 |= 1 << VAR_6; VAR_7 = 1; } if (!VAR_7) { fprintf(stderr, "CPU feature %s not VAR_7\n", VAR_0); } }