L4Re - L4 Runtime Environment
|
Files | |
file | cache.h [code] |
Cache functions. | |
file | consts.h [code] |
Common L4 constants, x86 version. | |
file | l4int.h [code] |
Fixed sized integer types, x86 version. | |
file | linkage.h [code] |
Linkage. | |
file | segment.h [code] |
Segment handling. | |
file | utcb.h [code] |
UTCB definitions for X86. | |