git.barrelfish.org Git - barrelfish/tree

drwxr-xr-x		..
-rw-r--r--	12924	capabilities.h	blob \| history \| raw
-rw-r--r--	1859	cpu.h	blob \| history \| raw
-rw-r--r--	597	dispatcher_handle.h	blob \| history \| raw
-rw-r--r--	2756	dispatcher_shared.h	blob \| history \| raw
-rw-r--r--	2849	distcaps.h	blob \| history \| raw
-rw-r--r--	1139	domain_params.h	blob \| history \| raw
-rw-r--r--	7091	init.h	blob \| history \| raw
-rw-r--r--	5196	legacy_idc_buffer.h	blob \| history \| raw
-rw-r--r--	1659	lmp.h	blob \| history \| raw
-rw-r--r--	1044	sys_debug.h	blob \| history \| raw
-rw-r--r--	4408	syscalls.h	blob \| history \| raw
-rw-r--r--	3324	types.h	blob \| history \| raw
-rw-r--r--	1038	vmkit.h	blob \| history \| raw
-rw-r--r--	3381	vmx_controls.h	blob \| history \| raw
-rw-r--r--	11226	vmx_encodings.h	blob \| history \| raw
-rw-r--r--	2932	vmx_exit_reasons.h	blob \| history \| raw