sys Directory Reference

Directory dependency graph for sys:

Files
	__kip-arch.h
	__vcpu-arch.h
	ARM64-specific vCPU interface.
	cache.h
	Cache functions.
	consts.h
	Common L4 constants, arm version.
	ktrace_events.h
	l4int.h
	Fixed sized integer types, arm version.
	linkage.h
	platform_control.h
	task.h
	thread.h
	ARM64-specific thread related definitions.
	utcb.h
	UTCB definitions for ARM64.
	vm
	vm.h