/cpukit/score/cpu/x86_64/include/machine/
../
elf_machdep.h