- r -

• rand() : stdlib.h , rand.c
• read() : read.c , device.h
• ready() : kernel.h , ready.c
• receive() : receive.c , proc.h
• remove() : queue.h , queue.c
• resched() : kernel.h , clockintr.c , resched.c
• restore() : kernel.h
• restore_intr() : clockintr.c