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

drwxr-xr-x		..
drwxr-xr-x	-	L4API-l4f	tree \| history
-rw-r--r--	1384	__vcpu-arch.h	blob \| history \| raw
-rw-r--r--	1138	atomic.h	blob \| history \| raw
-rw-r--r--	1823	cache.h	blob \| history \| raw
-rw-r--r--	1480	consts.h	blob \| history \| raw
-rw-r--r--	5229	kdebug.h	blob \| history \| raw
-rw-r--r--	1290	l4int.h	blob \| history \| raw
-rw-r--r--	1434	linkage.h	blob \| history \| raw
-rw-r--r--	1134	types.h	blob \| history \| raw
-rw-r--r--	3210	utcb.h	blob \| history \| raw