From: Eric Auger <eric.au...@redhat.com> Introduce scripts that automate the generation of system register definitions from a given linux source tree arch/arm64/tools/sysreg.
Invocation of ./update-aarch64-sysreg-code.sh $PATH_TO_LINUX_SOURCE_TREE in scripts directory generates target/arm/cpu-sysregs.h.inc containing defines for all system registers. [CH: update to handle current kernel sysregs structure, and to emit the re-worked register structures; cpu properties will be added later] Signed-off-by: Eric Auger <eric.au...@redhat.com> Signed-off-by: Cornelia Huck <coh...@redhat.com> --- scripts/gen-cpu-sysregs-header.awk | 70 +++++++++++++++++++++++++++ scripts/update-aarch64-sysreg-code.sh | 35 ++++++++++++++ 2 files changed, 105 insertions(+) create mode 100755 scripts/gen-cpu-sysregs-header.awk create mode 100755 scripts/update-aarch64-sysreg-code.sh diff --git a/scripts/gen-cpu-sysregs-header.awk b/scripts/gen-cpu-sysregs-header.awk new file mode 100755 index 000000000000..27a222856a84 --- /dev/null +++ b/scripts/gen-cpu-sysregs-header.awk @@ -0,0 +1,70 @@ +#!/bin/awk -f +# SPDX-License-Identifier: GPL-2.0 +# gen-cpu-sysregs-header.awk: arm64 sysreg header generator +# +# Usage: awk -f gen-cpu-sysregs-header.awk -- -v structure=xxx $LINUX_PATH/arch/arm64/tools/sysreg +# where structure is one of "idx" "reg" "table" + +BEGIN { + print "" + if (structure == "idx") { + print "typedef enum ARMIDRegisterIdx {" + } + if (structure == "reg") { + print "typedef enum ARMSysRegs {" + } + if (structure == "table") { + print "static const uint32_t id_register_sysreg[NUM_ID_IDX] = {" + } +} END { + if (structure == "idx") { + print " NUM_ID_IDX," + print "} ARMIDRegisterIdx;" + } + if (structure == "reg") { + print "} ARMSysRegs;" + } + if (structure == "table") { + print "};" + } + print "" +} + +# skip blank lines and comment lines +/^$/ { next } +/^[\t ]*#/ { next } + +/^Sysreg\t/ || /^Sysreg /{ + + reg = $2 + op0 = $3 + op1 = $4 + crn = $5 + crm = $6 + op2 = $7 + + if (op0 == 3 && (op1>=0 && op1<=3) && crn==0 && (crm>=0 && crm<=7) && (op2>=0 && op2<=7)) { + idreg = 1 + } else { + idreg = 0 + } + + if (idreg) { + if (structure == "idx") { + print " "reg"_IDX," + } + if (structure == "reg") { + print " SYS_"reg" = ENCODE_ID_REG("op0", "op1", "crn", "crm", "op2")," + } + if (structure == "table") { + print " ["reg"_IDX] = SYS_"reg"," + } + } + + next +} + +{ + /* skip all other lines */ + next +} diff --git a/scripts/update-aarch64-sysreg-code.sh b/scripts/update-aarch64-sysreg-code.sh new file mode 100755 index 000000000000..01762c620556 --- /dev/null +++ b/scripts/update-aarch64-sysreg-code.sh @@ -0,0 +1,35 @@ +#!/bin/sh -e +# +# Update target/arm/cpu-sysregs.h +# from a linux source tree (arch/arm64/tools/sysreg) +# +# Copyright Red Hat, Inc. 2024 +# +# Authors: +# Eric Auger <eric.au...@redhat.com> +# + +linux="$1" +output="$PWD" + +if [ -z "$linux" ] || ! [ -d "$linux" ]; then + cat << EOF +usage: update-aarch64-sysreg-code.sh LINUX_PATH + +LINUX_PATH Linux kernel directory to obtain the headers from +EOF + exit 1 +fi + + cat <<EOF >../target/arm/cpu-sysregs.h.inc +/* GENERATED FILE -- DO NOT EDIT */ +#ifndef ARCH_ARM_CPU_SYSREGS_H_INC +#define ARCH_ARM_CPU_SYSREGS_H_INC +EOF + +for structure in "idx" "reg" "table"; do + awk -f gen-cpu-sysregs-header.awk -v structure="$structure"\ + $linux/arch/arm64/tools/sysreg >> ../target/arm/cpu-sysregs.h.inc +done + +echo "#endif /* ARCH_ARM_CPU_SYSREGS_H_INC */" >> ../target/arm/cpu-sysregs.h.inc -- 2.48.1