Handing over alignment paramenter of morecore when spanning
[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-- 4408 syscalls.h
-rw-r--r-- 3207 types.h
-rw-r--r-- 843 vmkit.h