2 # SPDX-License-Identifier: GPL-2.0
4 # Awk script to generate include/generated/mach-types.h
11 machine_is
[nr] =
"machine_is_"$
1;
12 config
[nr] =
"CONFIG_"$
2;
13 mach_type
[nr] =
"MACH_TYPE_"$
3;
18 machine_is
[nr] =
"machine_is_"$
1;
19 config
[nr] =
"CONFIG_"$
2;
20 mach_type
[nr] =
"MACH_TYPE_"$
3;
27 printf(" * This was automagically generated from %s!\n", FILENAME);
28 printf(" * Do NOT edit\n");
30 printf("#ifndef __ASM_ARM_MACH_TYPE_H\n");
31 printf("#define __ASM_ARM_MACH_TYPE_H\n\n");
32 printf("#ifndef __ASSEMBLY__\n");
33 printf("/* The type of machine we're running on */\n");
34 printf("extern unsigned int __machine_arch_type;\n");
37 printf("/* see arch/arm/kernel/arch.c for a description of these */\n");
38 for (i =
0; i
< nr; i
++)
40 printf("#define %-30s %d\n", mach_type
[i
], num
[i
]);
44 for (i =
0; i
< nr; i
++)
46 printf("#ifdef %s\n", config
[i
]);
47 printf("# ifdef machine_arch_type\n");
48 printf("# undef machine_arch_type\n");
49 printf("# define machine_arch_type\t__machine_arch_type\n");
51 printf("# define machine_arch_type\t%s\n", mach_type
[i
]);
53 printf("# define %s()\t(machine_arch_type == %s)\n", machine_is
[i
], mach_type
[i
]);
55 printf("# define %s()\t(0)\n", machine_is
[i
]);
59 printf("/*\n * These have not yet been registered\n */\n");
60 for (i =
0; i
< nr; i
++)
62 printf("/* #define %-30s <<not registered>> */\n", mach_type
[i
]);
64 for (i =
0; i
< nr; i
++)
65 if (num
[i
] !~
/..
*/) {
66 printf("#define %s()\t(0)\n", machine_is
[i
]);
69 printf("\n#ifndef machine_arch_type\n");
70 printf("#define machine_arch_type\t__machine_arch_type\n");