T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / kernel / include /
drwxr-xr-x   ..
drwxr-xr-x - arch
-rw-r--r-- 1720 cap_predicates.h
-rw-r--r-- 7073 capabilities.h
-rw-r--r-- 634 coreboot.h
-rw-r--r-- 3421 dispatch.h
-rw-r--r-- 1149 distcaps.h
-rw-r--r-- 1494 diteinfo.h
-rw-r--r-- 1382 exec.h
-rw-r--r-- 893 gdb_stub.h
-rw-r--r-- 3411 kcb.h
-rw-r--r-- 6442 kernel.h
-rw-r--r-- 932 microbenchmarks.h
-rw-r--r-- 3578 multiboot.h
-rw-r--r-- 1034 paging_generic.h
-rw-r--r-- 1547 paging_kernel_helper.h
-rw-r--r-- 655 schedule.h
-rw-r--r-- 2874 serial.h
-rw-r--r-- 1676 startup.h
-rw-r--r-- 5719 syscall.h
drwxr-xr-x - target
-rw-r--r-- 801 timer.h
-rw-r--r-- 796 useraccess.h
-rw-r--r-- 577 wakeup.h