Loading...
Searching...
No Matches
sys Directory Reference
Directory dependency graph for sys:

## Files

| __kip-arch.h
| __vcpu-arch.h
| x86-specific vCPU interface.
| cache.h
| Cache functions.
| consts.h
| Common L4 constants, x86 version.
| ipc-invoke.h
| ktrace_events.h
| l4int.h
| Fixed sized integer types, x86 version.
| linkage.h
| Linkage.
| segment.h
| Segment handling (x86).
| utcb.h
| UTCB definitions for x86.
| vm.h