/cpukit/score/cpu/arm/include/libcpu/
../
arm-cp15.h