/cpukit/score/cpu/x86_64/
../
cpu.c
include
x86_64-context-initialize.c
x86_64-context-switch.S