cpukit/score/src/threadqextractpriority.c
cpukit/score/src/schedulerpriorityblock.c
cpukit/score/src/rbtreefind.c
cpukit/score/src/coremsginsert.c
cpukit/score/src/threadqenqueue.c
cpukit/score/src/corerwlocktimeout.c
cpukit/score/src/percpu.c
cpukit/score/src/objectinitializeinformation.c
cpukit/score/src/schedulerpriorityupdate.c
cpukit/score/src/corespinlockrelease.c
cpukit/score/src/watchdogremove.c
cpukit/score/src/ts64subtract.c
cpukit/score/src/coretodgetuptimetimespec.c
cpukit/score/src/threadrestart.c
cpukit/score/src/scheduleredfenqueue.c
cpukit/score/src/threaddisabledispatch.c
cpukit/score/src/timespecdivide.c
cpukit/score/src/corerwlockobtainwrite.c
cpukit/score/src/ts64getseconds.c
cpukit/score/src/schedulercbsgetparameters.c