2 # SPDX-License-Identifier: GPL-2.0
3 # gen-cpucaps.awk: arm64 cpucaps header generator
5 # Usage: awk -f gen-cpucaps.awk cpucaps.txt
7 # Log an error and terminate
9 print "Error at line " NR ": " msg > "/dev/stderr"
13 # skip blank lines and comment lines
18 print "#ifndef __ASM_CPUCAPS_H"
19 print "#define __ASM_CPUCAPS_H"
21 print "/* Generated file - do not edit */"
27 printf("#define ARM64_%-30s\t%d\n", $0, cap_num++)
32 printf("#define ARM64_NCAPS\t\t\t\t%d\n", cap_num)
34 print "#endif /* __ASM_CPUCAPS_H */"
37 # Any lines not handled by previous rules are unexpected
39 fatal("unhandled statement")