L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
sys Directory Reference
+ Directory dependency graph for sys:

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