L4Re - L4 Runtime Environment
sys Directory Reference
+ Directory dependency graph for sys:

Files

file  cache.h [code]
 Cache functions.
 
file  consts.h [code]
 Common L4 constants, amd64 version.
 
file  l4int.h [code]
 Fixed sized integer types, amd64 version.
 
file  linkage.h [code]
 Linkage.
 
file  segment.h [code]
 Segment handling.
 
file  utcb.h [code]
 UTCB definitions for amd64.