rtime.felk.cvut.cz Git - l4.git/tree - l4/pkg/l4sys/include/ARCH-x86/

drwxr-xr-x		..
drwxr-xr-x	-	L4API-l4f	tree \| history
-rw-r--r--	897	__kip-arch.h	blob \| history \| raw
-rw-r--r--	2147	__vcpu-arch.h	blob \| history \| raw
-rw-r--r--	1817	cache.h	blob \| history \| raw
-rw-r--r--	1646	consts.h	blob \| history \| raw
-rw-r--r--	3022	ipc-invoke.h	blob \| history \| raw
-rw-r--r--	8704	kdebug.h	blob \| history \| raw
-rw-r--r--	6931	ktrace.h	blob \| history \| raw
-rw-r--r--	7285	ktrace_events.h	blob \| history \| raw
-rw-r--r--	1349	l4int.h	blob \| history \| raw
-rw-r--r--	1538	linkage.h	blob \| history \| raw
-rw-r--r--	4056	segment.h	blob \| history \| raw
-rw-r--r--	1775	syscall-invoke.h	blob \| history \| raw
-rw-r--r--	3894	utcb.h	blob \| history \| raw
-rw-r--r--	956	vm	blob \| history \| raw
-rw-r--r--	1126	vm.h	blob \| history \| raw