]> rtime.felk.cvut.cz Git - l4.git/tree - l4/pkg/l4sys/include/ARCH-x86/
update
[l4.git] / l4 / pkg / l4sys / include / ARCH-x86 /
drwxr-xr-x   ..
drwxr-xr-x - L4API-l4f
-rw-r--r-- 2085 __vcpu-arch.h
-rw-r--r-- 1817 cache.h
-rw-r--r-- 1646 consts.h
-rw-r--r-- 3005 ipc-invoke.h
-rw-r--r-- 8701 kdebug.h
-rw-r--r-- 8131 ktrace.h
-rw-r--r-- 7553 ktrace_events.h
-rw-r--r-- 1349 l4int.h
-rw-r--r-- 1538 linkage.h
-rw-r--r-- 4743 rt_sched-impl.h
-rw-r--r-- 10254 rt_sched-proto.h
-rw-r--r-- 1150 rt_sched.h
-rw-r--r-- 4029 segment.h
-rw-r--r-- 1992 syscall-invoke.h
-rw-r--r-- 3907 utcb.h
-rw-r--r-- 960 vm
-rw-r--r-- 1462 vm.h