arch Directory Reference

Directory dependency graph for arch:

Files
	cache.h
	Cache functions.
	consts.h
	Common L4 constants, AMD64 version.
	ipc.h
	kip.h
	l4int.h
	Fixed sized integer types, AMD64 version.
	pf_trampoline.h
	Page fault trampoline handler definitions for AMD64.
	platform_control.h
	task.h
	thread.h
	utcb.h
	UTCB definitions for AMD64.