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
	Very simple ARMv7a spinlocks.
file	unknown_arch.h
	Not sure where to put these definitions.