- r -

• ready() : Guarded_Scheduler , Scheduler
• reboot() : Keyboard_Controller
• relay() : Guard
• remove() : Queue< T, next_field > , Waitingroom
• report() : Plugbox
• reset_kill_flag() : Thread
• restore_int() : CPU
• resume() : Guarded_Scheduler , Scheduler , Thread
• ring() : Bell