L4Re Operating System Framework
Interface and Usage Documentation
|
Files | |
__kip-arch.h | |
__vcpu-arch.h | |
x86-specific vCPU interface. | |
cache.h | |
Cache functions. | |
consts.h | |
Common L4 constants, x86 version. | |
ipc-invoke.h | |
ktrace_events.h | |
l4int.h | |
Fixed sized integer types, x86 version. | |
linkage.h | |
Linkage. | |
segment.h | |
Segment handling. | |
utcb.h | |
UTCB definitions for X86. | |
vm.h | |