/cpukit/sapi/inline/