cpukit/score/src/schedulerpriorityunblock.c
cpukit/score/src/coremsg.c
cpukit/score/src/coretodtickspersec.c
cpukit/score/src/schedulerpriorityreleasejob.c
cpukit/score/src/watchdogadjust.c
cpukit/score/src/schedulercbsgetremainingbudget.c
cpukit/score/src/threadqenqueuefifo.c
cpukit/score/src/schedulercbscleanup.c
cpukit/score/src/threadqrequeue.c
cpukit/score/src/ts64dividebyinteger.c
cpukit/score/src/schedulercbsgetapprovedbudget.c
cpukit/score/src/threadsetpriority.c
cpukit/score/src/coresem.c
cpukit/score/src/smplock.c
cpukit/score/src/schedulercbscreateserver.c
cpukit/score/src/schedulersimpleenqueuefirst.c
cpukit/score/src/schedulerpriorityprioritycompare.c
cpukit/score/src/coretodget.c
cpukit/score/src/timespectoticks.c
cpukit/score/src/objectgetnoprotection.c