/cpukit/score/cpu/aarch64/include/libcpu/
../
vectors.h