cpukit/score/src/schedulersimpleunblock.c
cpukit/score/src/corerwlockobtainread.c
cpukit/score/src/coremutex.c
cpukit/score/src/schedulercbsallocate.c
cpukit/score/src/objectidtoname.c
cpukit/score/src/objectget.c
cpukit/score/src/schedulerpriority.c
cpukit/score/src/corespinlockwait.c
cpukit/score/src/timespecsubtract.c
cpukit/score/src/watchdogadjusttochain.c
cpukit/score/src/corebarrierwait.c
cpukit/score/src/coremutexseizeintr.c
cpukit/score/src/objectnametoid.c
cpukit/score/src/rbtreeget.c
cpukit/score/src/threadhandler.c
cpukit/score/src/threadinitialize.c
cpukit/score/src/ts64equalto.c
cpukit/score/src/iterateoverthreads.c
cpukit/score/src/ts64divide.c
cpukit/score/src/coremutexflush.c