tag | line | file | source code |
extra_options | 286 | drivers/sound/configure.c | extra_options[] = |
extra_options | 676 | drivers/sound/configure.c | while (extra_options[i].name != NULL) |
extra_options | 678 | drivers/sound/configure.c | if (selected_options & extra_options[i].mask) |
extra_options | 679 | drivers/sound/configure.c | printf ("#define CONFIG_%s\n", extra_options[i].name); |
extra_options | 681 | drivers/sound/configure.c | printf ("#undef CONFIG_%s\n", extra_options[i].name); |
extra_options | 718 | drivers/sound/configure.c | while (extra_options[i].name != NULL) |
extra_options | 720 | drivers/sound/configure.c | if (selected_options & extra_options[i].mask) |
extra_options | 721 | drivers/sound/configure.c | fprintf (optf, "CONFIG_%s=y\n", extra_options[i].name); |
extra_options | 1162 | drivers/sound/configure.c | while (extra_options[i].name != NULL) |
extra_options | 1170 | drivers/sound/configure.c | if (extra_options[i].mask & B (j)) |
extra_options | 1181 | drivers/sound/configure.c | printf ("#\tdefine CONFIG_%s\n", extra_options[i].name); |
extra_options | 1194 | drivers/sound/configure.c | while (extra_options[i].name != NULL) |
extra_options | 1200 | drivers/sound/configure.c | if (extra_options[i].mask & B (j)) |
extra_options | 1203 | drivers/sound/configure.c | printf ("CONFIG_%s=y\n", extra_options[i].name); |
extra_options | 1524 | drivers/sound/configure.c | while (extra_options[i].name != NULL) |
extra_options | 1526 | drivers/sound/configure.c | if (selected_options & extra_options[i].mask) |
extra_options | 1527 | drivers/sound/configure.c | printf ("#define CONFIG_%s\n", extra_options[i].name); |
extra_options | 1529 | drivers/sound/configure.c | printf ("#undef CONFIG_%s\n", extra_options[i].name); |