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
 ARM64-specific vCPU interface.
 
cache.h
 Cache functions.
 
consts.h
 Common L4 constants, arm version.
 
ktrace_events.h
 
l4int.h
 Fixed sized integer types, arm version.
 
linkage.h
 
platform_control.h
 
task.h
 
thread.h
 ARM64-specific thread related definitions.
 
utcb.h
 UTCB definitions for ARM64.
 
vm
 
vm.h