arm64: Rename ARM64_WORKAROUND_2966298
[platform/kernel/linux-rpi.git] / arch / arm64 / tools /
drwxr-xr-x   ..
-rw-r--r-- 652 Makefile
-rw-r--r-- 1792 cpucaps
-rwxr-xr-x 761 gen-cpucaps.awk
-rwxr-xr-x 6684 gen-sysreg.awk
-rw-r--r-- 37855 sysreg