/cpukit/score/cpu/aarch64/include/libcpu/
../
mmu-vmsav8-64.h
vectors.h