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

drwxr-xr-x		..
drwxr-xr-x	-	L4API-l4f	tree \| history
-rw-r--r--	2443	__vcpu-arch.h	blob \| history \| raw
-rw-r--r--	1823	cache.h	blob \| history \| raw
-rw-r--r--	1662	consts.h	blob \| history \| raw
-rw-r--r--	2804	ipc-invoke.h	blob \| history \| raw
-rw-r--r--	8727	kdebug.h	blob \| history \| raw
-rw-r--r--	1431	l4int.h	blob \| history \| raw
-rw-r--r--	1469	linkage.h	blob \| history \| raw
-rw-r--r--	4056	segment.h	blob \| history \| raw
-rw-r--r--	3658	utcb.h	blob \| history \| raw
-rw-r--r--	956	vm	blob \| history \| raw
-rw-r--r--	1062	vm.h	blob \| history \| raw