/cpukit/score/cpu/c4x/rtems/tic4x/
../
c4xio.h