cpukit/score/src/scheduleredfupdate.c
cpukit/score/src/scheduleredfallocate.c
cpukit/score/src/objectfree.c
cpukit/score/src/threadqdequeuefifo.c
cpukit/score/src/thread.c
cpukit/score/src/corebarrier.c
cpukit/score/src/watchdognanoseconds.c
cpukit/score/src/schedulerpriorityenqueue.c
cpukit/score/src/schedulerpriorityfree.c
cpukit/score/src/timespecaddto.c
cpukit/score/src/threadqfirstfifo.c
cpukit/score/src/coremutexseize.c
cpukit/score/cpu/mips/cpu.c
cpukit/score/cpu/lm32/cpu.c
cpukit/score/cpu/lm32/irq.c
cpukit/score/cpu/sparc/cpu.c
cpukit/score/cpu/h8300/cpu.c
cpukit/score/cpu/sparc64/cpu.c
cpukit/score/cpu/m32c/cpu.c
cpukit/score/cpu/m32c/cpu_asm.c