arm64/tools/gen-sysreg.awk

1 #!/bin/awk -f
2 # SPDX-License-Identifier: GPL-2.0
3 # gen-sysreg.awk: arm64 sysreg header generator
5 # Usage: awk -f gen-sysreg.awk sysregs.txt
35 	__current_block_depth--;
45 # Print a CPP macro definition, padded with spaces so that the macro bodies
48 	printf "%-56s%s\n", "#define " name, val
56 	define(reg "_" field "_WIDTH", msb - lsb + 1)
59 # Print a field _SIGNED definition for a field
67 	if (bitdef ~ /^[0-9]+$/) {
74 		fatal("invalid bit-range definition '" bitdef "'")
81 		fatal(reg "." field " invalid high bit in '" bitdef "'")
85 		fatal(reg "." field " invalid bit-range '" bitdef "'")
86 	if (low > high)
87 		fatal(reg "." field " has invalid range " high "-" low)
89 	next_bit = lsb - 1
96 	print "/* Generated file - do not edit */"