/cpukit/score/cpu/powerpc/include/machine/