/cpukit/score/cpu/c4x/