/cpukit/include/machine/
../
_kernel_cpuset.h
_kernel_param.h
_kernel_time.h
_kernel_types.h
_timecounter.h