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