Change 'exit' from RPC to message in if/proc_mgmt.if.
[barrelfish] / include /
drwxr-xr-x   ..
-rw-r--r-- 21072 Hakefile
drwxr-xr-x - acpi_client
drwxr-xr-x - ahci
drwxr-xr-x - angler
drwxr-xr-x - arch
drwxr-xr-x - arpa
-rw-r--r-- 998 arranet.h
-rw-r--r-- 2963 arranet_debug.h
-rw-r--r-- 6883 arranet_impl.h
drwxr-xr-x - barrelfish
drwxr-xr-x - barrelfish_kpi
drwxr-xr-x - bench
drwxr-xr-x - bfdmuxtools
drwxr-xr-x - bfdmuxvm
-rw-r--r-- 1911 bitmacros.h
-rw-r--r-- 3464 bitmap.h
drwxr-xr-x - blk
drwxr-xr-x - bulk_transfer
drwxr-xr-x - c
drwxr-xr-x - collections
drwxr-xr-x - concurrent
drwxr-xr-x - contmng
-rw-r--r-- 3900 cpiobin.h
drwxr-xr-x - cpuid
drwxr-xr-x - cxx
drwxr-xr-x - deputy
drwxr-xr-x - devif
drwxr-xr-x - dist
-rw-r--r-- 1851 dlfcn.h
drwxr-xr-x - dma
drwxr-xr-x - dmalloc
drwxr-xr-x - driverkit
drwxr-xr-x - elf
-rw-r--r-- 9579 fcntl.h
drwxr-xr-x - flounder
drwxr-xr-x - getopt
-rw-r--r-- 3578 grp.h
-rw-r--r-- 532 grubmenu.h
drwxr-xr-x - hashtable
-rw-r--r-- 1535 hw_records.h
drwxr-xr-x - int_route
-rw-r--r-- 679 k_r_malloc.h
-rw-r--r-- 210 libgen.h
-rw-r--r-- 4284 limits.h
drwxr-xr-x - linenoise
drwxr-xr-x - lua
drwxr-xr-x - mackerel
drwxr-xr-x - maps
drwxr-xr-x - mdb
drwxr-xr-x - mm
-rw-r--r-- 3676 multiboot.h
-rw-r--r-- 597 multicast.h
drwxr-xr-x - net_device_manager
drwxr-xr-x - net_interfaces
drwxr-xr-x - net_queue_manager
drwxr-xr-x - netbench
drwxr-xr-x - netd
-rw-r--r-- 5347 netdb.h
drwxr-xr-x - netinet
drwxr-xr-x - netinet6
drwxr-xr-x - nfs
-rw-r--r-- 791 nl_types.h
-rw-r--r-- 22231 numa.h
drwxr-xr-x - octopus
drwxr-xr-x - octopus_server
-rw-r--r-- 6288 omp.h
drwxr-xr-x - openssl
drwxr-xr-x - pager
-rw-r--r-- 121 paths.h
drwxr-xr-x - pci
-rw-r--r-- 31706 pcre.h
-rw-r--r-- 5452 pcreposix.h
-rw-r--r-- 22 poll.h
-rw-r--r-- 869 posixcompat.h
drwxr-xr-x - procon
-rw-r--r-- 11095 pthread.h
drwxr-xr-x - rcce
-rw-r--r-- 3518 runetype.h
-rw-r--r-- 731 semaphore.h
-rw-r--r-- 9596 signal.h
drwxr-xr-x - skb
drwxr-xr-x - spawndomain
-rw-r--r-- 5462 stdio_file.h
drwxr-xr-x - storage
drwxr-xr-x - sys
-rw-r--r-- 5251 sysexits.h
-rw-r--r-- 24 syslog.h
drwxr-xr-x - target
drwxr-xr-x - tenaciousd
drwxr-xr-x - term
-rw-r--r-- 3299 termios.h
drwxr-xr-x - tftp
drwxr-xr-x - thc
-rw-r--r-- 433 time.h
drwxr-xr-x - timer
drwxr-xr-x - trace
drwxr-xr-x - tweed
-rw-r--r-- 9988 unistd.h
drwxr-xr-x - usb
-rw-r--r-- 579 utime.h
-rw-r--r-- 565 values.h
drwxr-xr-x - vfs
drwxr-xr-x - virtio
-rw-r--r-- 7267 x86emu.h
drwxr-xr-x - x86emu
drwxr-xr-x - xeon_phi
drwxr-xr-x - xomp
-rw-r--r-- 9544 zconf.h
-rw-r--r-- 66188 zlib.h