barrelfish_kpi Directory Reference

Files
file	asm_inlines_arch.h
file	cpu_arch.h
	Arch specific CPU declarations.
file	dispatcher_shared_arch.h
	Architecture specific dispatcher struct shared between kernel and user.
file	eflags_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
	Define generics for arch specific definitions.
file	pic_arch.h
	x86-32 Position Independent code assembly support definitions.
file	registers_arch.h
	Arch independent accessor functions for use in generic code Generic include for kernel.
file	spinlocks_arch.h
file	syscall_overflows_arch.h
	structures used to deal with overflows to the syscall arguments