T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / include / barrelfish_kpi /
drwxr-xr-x   ..
-rw-r--r-- 8985 capabilities.h
-rw-r--r-- 1800 cpu.h
-rw-r--r-- 597 dispatcher_handle.h
-rw-r--r-- 2756 dispatcher_shared.h
-rw-r--r-- 2090 distcaps.h
-rw-r--r-- 1139 domain_params.h
-rw-r--r-- 7197 init.h
-rw-r--r-- 5196 legacy_idc_buffer.h
-rw-r--r-- 1659 lmp.h
-rw-r--r-- 1014 sys_debug.h
-rw-r--r-- 4453 syscalls.h
-rw-r--r-- 3207 types.h
-rw-r--r-- 843 vmkit.h