void validate_bootdevices(const char *devices)

{

    /* We just do some generic consistency checks */

    const char *p;

    int bitmap = 0;



    for (p = devices; *p != '\0'; p++) {

        /* Allowed boot devices are:

         * a-b: floppy disk drives

         * c-f: IDE disk drives

         * g-m: machine implementation dependent drives

         * n-p: network devices

         * It's up to each machine implementation to check if the given boot

         * devices match the actual hardware implementation and firmware

         * features.

         */

        if (*p < 'a' || *p > 'p') {

            fprintf(stderr, "Invalid boot device '%c'\n", *p);

            exit(1);

        }

        if (bitmap & (1 << (*p - 'a'))) {

            fprintf(stderr, "Boot device '%c' was given twice\n", *p);

            exit(1);

        }

        bitmap |= 1 << (*p - 'a');

    }

}

void validate_bootdevices(const char *devices)

{

    

    const char *p;

    int bitmap = 0;



    for (p = devices; *p != '\0'; p++) {

        

















        if (*p < 'a' || *p > 'p') {

            fprintf(stderr, "Invalid boot device '%c'\n", *p);

            exit(1);

        }

        if (bitmap & (1 << (*p - 'a'))) {

            fprintf(stderr, "Boot device '%c' was given twice\n", *p);

            exit(1);

        }

        bitmap |= 1 << (*p - 'a');

    }

}

void FUNC_0(const char *VAR_0)

{

    

    const char *VAR_1;

    int VAR_2 = 0;



    for (VAR_1 = VAR_0; *VAR_1 != '\0'; VAR_1++) {

        

















        if (*VAR_1 < 'a' || *VAR_1 > 'VAR_1') {

            fprintf(stderr, "Invalid boot device '%c'\n", *VAR_1);

            exit(1);

        }

        if (VAR_2 & (1 << (*VAR_1 - 'a'))) {

            fprintf(stderr, "Boot device '%c' was given twice\n", *VAR_1);

            exit(1);

        }

        VAR_2 |= 1 << (*VAR_1 - 'a');

    }

}

void FUNC_0(const char *VAR_0)
{ const char *VAR_1; int VAR_2 = 0; for (VAR_1 = VAR_0; *VAR_1 != '\0'; VAR_1++) { if (*VAR_1 < 'a' || *VAR_1 > 'VAR_1') { fprintf(stderr, "Invalid boot device '%c'\n", *VAR_1); exit(1); } if (VAR_2 & (1 << (*VAR_1 - 'a'))) { fprintf(stderr, "Boot device '%c' was given twice\n", *VAR_1); exit(1); } VAR_2 |= 1 << (*VAR_1 - 'a'); } }