]> rtime.felk.cvut.cz Git - l4.git/tree - l4/pkg/l4sys/include/
update
[l4.git] / l4 / pkg / l4sys / include /
drwxr-xr-x   ..
drwxr-xr-x - ARCH-amd64
drwxr-xr-x - ARCH-arm
drwxr-xr-x - ARCH-ppc32
drwxr-xr-x - ARCH-sparc
drwxr-xr-x - ARCH-x86
drwxr-xr-x - L4API-l4f
-rw-r--r-- 312 Makefile
-rw-r--r-- 7392 __kip-32bit.h
-rw-r--r-- 7366 __kip-64bit.h
-rw-r--r-- 15449 __l4_fpage.h
-rw-r--r-- 7053 __timeout.h
-rw-r--r-- 5934 __typeinfo.h
-rw-r--r-- 1254 __vm
-rw-r--r-- 4037 __vm-svm.h
-rw-r--r-- 2126 __vm-vmx.h
-rw-r--r-- 1053 __vm.h
-rw-r--r-- 2831 cache.h
-rw-r--r-- 15254 capability
-rw-r--r-- 8481 compiler.h
-rw-r--r-- 11036 consts.h
-rw-r--r-- 3175 debugger
-rw-r--r-- 8130 debugger.h
-rw-r--r-- 2606 err.h
-rw-r--r-- 8035 factory
-rw-r--r-- 15168 factory.h
-rw-r--r-- 964 icu
-rw-r--r-- 11897 icu.h
-rw-r--r-- 16662 ipc.h
-rw-r--r-- 1843 ipc_gate
-rw-r--r-- 3651 ipc_gate.h
-rw-r--r-- 6599 irq
-rw-r--r-- 8728 irq.h
-rw-r--r-- 2724 kernel_object.h
-rw-r--r-- 5945 kip
-rw-r--r-- 3157 kip.h
-rw-r--r-- 2785 l4int.h
-rw-r--r-- 6221 memdesc.h
-rw-r--r-- 3706 meta
-rw-r--r-- 2534 scheduler
-rw-r--r-- 8347 scheduler.h
-rw-r--r-- 4617 semaphore
-rw-r--r-- 5009 semaphore.h
-rw-r--r-- 4582 smart_capability
-rw-r--r-- 3501 task
-rw-r--r-- 11870 task.h
-rw-r--r-- 9578 thread
-rw-r--r-- 31578 thread.h
-rw-r--r-- 1665 typeinfo_svr
-rw-r--r-- 13419 types.h
-rw-r--r-- 10316 utcb.h
-rw-r--r-- 2343 vcon
-rw-r--r-- 7282 vcon.h
-rw-r--r-- 2567 vcpu.h
-rw-r--r-- 3610 vhw.h