1 // SPDX-License-Identifier: GPL-2.0-or-later 1
2 /* -------------------------------------------
3 *
4 * Copyright 2008 rPath, Inc. - All Rights R
5 *
6 * -------------------------------------------
7
8 /*
9 * This is a host program to preprocess the CP
10 * compact format suitable for the setup code.
11 */
12
13 #include <stdio.h>
14
15 #include "../include/asm/required-features.h"
16 #include "../include/asm/disabled-features.h"
17 #include "../include/asm/cpufeatures.h"
18 #include "../include/asm/vmxfeatures.h"
19 #include "../kernel/cpu/capflags.c"
20
21 int main(void)
22 {
23 int i, j;
24 const char *str;
25
26 printf("static const char x86_cap_strs
27
28 for (i = 0; i < NCAPINTS; i++) {
29 for (j = 0; j < 32; j++) {
30 str = x86_cap_flags[i*
31
32 if (i == NCAPINTS-1 &&
33 /* The last en
34 also consum
35 character *
36 if (!str)
37 str =
38 printf("\t\"\\
39 i, j, s
40 } else if (str) {
41 printf("#if RE
42 "\t\"\\
43 "#endif
44 i, j, i
45 }
46 }
47 }
48 printf("\t;\n");
49 return 0;
50 }
51
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.