/cpukit/score/cpu/or1k/rtems/
../
asm.h
score