55b87b7499
The HFGxTR_EL2 fields do not always follow the naming described
in the spec, nor do they match the name of the register they trap
in the rest of the kernel.
It is a bit sad that they were written by hand despite the availability
of a machine readable version...
Fixes:
|
||
---|---|---|
.. | ||
Makefile | ||
cpucaps | ||
gen-cpucaps.awk | ||
gen-sysreg.awk | ||
sysreg |