proc_mgmt: bugfix for domains spawned from startd
[barrelfish] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 21546 Hakefile
drwxr-xr-x - arch
-rw-r--r-- 22666 cap_delete.c
-rw-r--r-- 66635 capabilities.c
-rw-r--r-- 1255 coreboot.c
-rw-r--r-- 15431 dispatch.c
-rw-r--r-- 13970 gdb_stub.c
drwxr-xr-x - include
-rw-r--r-- 3672 kcb.c
-rw-r--r-- 2296 logging.c
-rw-r--r-- 1748 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-- 19650 printf.c
-rw-r--r-- 18542 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