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