Change 'exit' from RPC to message in if/proc_mgmt.if.
[barrelfish] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 21657 Hakefile
drwxr-xr-x - arch
-rw-r--r-- 21442 cap_delete.c
-rw-r--r-- 65714 capabilities.c
-rw-r--r-- 1255 coreboot.c
-rw-r--r-- 15480 dispatch.c
-rw-r--r-- 13970 gdb_stub.c
drwxr-xr-x - include
-rw-r--r-- 3672 kcb.c
-rw-r--r-- 2301 logging.c
-rw-r--r-- 1833 memmove.c
-rw-r--r-- 5061 memset.c
-rw-r--r-- 2442 microbenchmarks.c
-rw-r--r-- 15630 monitor.c
-rw-r--r-- 13671 paging_generic.c
-rw-r--r-- 19797 printf.c
-rw-r--r-- 18639 schedule_rbed.c
-rw-r--r-- 4377 schedule_rr.c
-rw-r--r-- 16093 startup.c
-rw-r--r-- 2642 stdlib.c
-rw-r--r-- 4013 string.c
-rw-r--r-- 4342 sys_debug.c
-rw-r--r-- 29465 syscall.c
-rw-r--r-- 1084 systime.c
-rw-r--r-- 1815 timer.c
-rw-r--r-- 715 useraccess.c
-rw-r--r-- 3160 wakeup.c