1 /* ----------------------------------------------------------------------- *
3 * Copyright 2008 rPath, Inc. - All Rights Reserved
5 * This file is part of the Linux kernel, and is made available under
6 * the terms of the GNU General Public License version 2 or (at your
7 * option) any later version; incorporated herein by reference.
9 * ----------------------------------------------------------------------- */
12 * This is a host program to preprocess the CPU strings into a
13 * compact format suitable for the setup code.
18 #include "../kernel/cpu/feature_names.c"
21 # error "Need to adjust the boot code handling of CPUID strings"
29 printf("static const char x86_cap_strs[] = \n");
31 for (i = 0; i < NCAPINTS*32; i++) {
32 str = x86_cap_flags[i];
34 if (i == NCAPINTS*32-1) {
35 /* The last entry must be unconditional; this
36 also consumes the compiler-added null character */
39 printf("\t\"\\x%02x\"\"%s\"\n", i, str);
41 printf("#if REQUIRED_MASK%d & (1 << %d)\n"
42 "\t\"\\x%02x\"\"%s\\0\"\n"
44 i >> 5, i & 31, i, str);