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 (AMD64).
| utcb.h
| UTCB definitions for AMD64.
| vm.h