- r -

• raise_ipi() : mp_config.h
• ras_tex() : kernel.h
• rcv_dtq() : kernel.h
• rcv_mbx() : kernel.h
• receive_data_swait() : dataqueue.h, fdmp_rename.h
• rel_mpf() : kernel.h
• rel_wai() : kernel.h
• reqflg() : cpu_support.S, task.h, fdmp_rename.h
• rot_rdq() : kernel.h
• rotate_ready_queue() : task.h, fdmp_rename.h
• rsm_tsk() : kernel.h
• runtsk() : cpu_support.S, task.h, fdmp_rename.h