cpukit/score/src/heapgreedy.c
cpukit/score/src/watchdogtickle.c
cpukit/score/src/ts64addto.c
cpukit/score/src/schedulersimplesmpunblock.c
cpukit/score/src/objectshrinkinformation.c
cpukit/score/src/watchdoginsert.c
cpukit/score/src/schedulerpriorityschedule.c
cpukit/score/src/schedulercbs.c
cpukit/score/src/mpci.c
cpukit/score/src/ts64getnanoseconds.c
cpukit/score/src/threaddispatch.c
cpukit/score/src/threadqprocesstimeout.c
cpukit/score/src/interr.c
cpukit/score/src/threaddelayended.c
cpukit/score/src/isr.c
cpukit/score/src/threadblockingoperationcancel.c
cpukit/score/src/threadqdequeuepriority.c
cpukit/score/src/threadreset.c
cpukit/score/src/corerwlock.c
cpukit/score/src/threadstackallocate.c