barrelfish_kpi Directory Reference

Files
file	asm_inlines_arch.h
	Some arch specific asm inlines.
file	cpu_arch.h
	Arch specific CPU declarations.
file	dispatcher_shared_arch.h
	Architecture specific dispatcher struct shared between kernel and user.
file	flags_arch.h
file	generic_arch.h
	Generic include for a bunch of arch specific files.
file	lmp_arch.h
	Arch specific LMP declarations.
file	paging_arch.h
	Arch specific paging definitions.
file	registers_arch.h
	Architecture-specific registers code.
file	spinlocks_arch.h
file	unknown_arch.h
	Not sure where to put these definitions.