| /* ----------------------------------------------------------------------- * |
| * |
| * Copyright 2008 rPath, Inc. - All Rights Reserved |
| * |
| * This file is part of the Linux kernel, and is made available under |
| * the terms of the GNU General Public License version 2 or (at your |
| * option) any later version; incorporated herein by reference. |
| * |
| * ----------------------------------------------------------------------- */ |
| |
| /* |
| * This is a host program to preprocess the CPU strings into a |
| * compact format suitable for the setup code. |
| */ |
| |
| #include <stdio.h> |
| |
| #include "../kernel/cpu/feature_names.c" |
| |
| #if NCAPFLAGS > 8 |
| # error "Need to adjust the boot code handling of CPUID strings" |
| #endif |
| |
| int main(void) |
| { |
| int i; |
| const char *str; |
| |
| printf("static const char x86_cap_strs[] = \n"); |
| |
| for (i = 0; i < NCAPINTS*32; i++) { |
| str = x86_cap_flags[i]; |
| |
| if (i == NCAPINTS*32-1) { |
| /* The last entry must be unconditional; this |
| also consumes the compiler-added null character */ |
| if (!str) |
| str = ""; |
| printf("\t\"\\x%02x\"\"%s\"\n", i, str); |
| } else if (str) { |
| printf("#if REQUIRED_MASK%d & (1 << %d)\n" |
| "\t\"\\x%02x\"\"%s\\0\"\n" |
| "#endif\n", |
| i >> 5, i & 31, i, str); |
| } |
| } |
| printf("\t;\n"); |
| return 0; |
| } |