/cpukit/score/cpu/x86_64/include/rtems/
../
asm.h
score