- r -

• ramfss : main.c
• raw_except_ppage : main.c
• raw_except_vpage : main.c, core_tcb.c
• rec_freelist : coresrv.c, core_mem.c
• recs : main.c, area_stuff.c
• resources : AreaSet.c
• rtl8139_pci_devs : rtl8139.c
• runqs : coresrv.c, core_tcb.c

---