cpukit/score/src/threadstackfree.c
cpukit/score/src/isrsmp.c
cpukit/score/src/threadcreateidle.c
cpukit/score/src/threadmp.c
cpukit/score/src/coremsgseize.c
cpukit/score/src/objectgetinfo.c
cpukit/score/src/coresemflush.c
cpukit/score/src/timespeclessthan.c
cpukit/score/src/schedulersimplesmptick.c
cpukit/score/src/watchdogreportchain.c
cpukit/score/src/schedulercbsattachthread.c
cpukit/score/src/schedulerpriorityyield.c
cpukit/score/src/coremsgflush.c
cpukit/score/src/threadclearstate.c
cpukit/score/src/smp.c
cpukit/score/src/coremsgbroadcast.c
cpukit/score/src/schedulercbsgetserverid.c
cpukit/score/src/coremsgclose.c
cpukit/score/src/threadstartmultitasking.c
cpukit/score/src/scheduleredfschedule.c