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