barrelfish_kpi Directory Reference

Files
file	asm_inlines_arch.h
	Some arch specific asm inlines.
file	perfmon.h
	Performace monitoring support for x86\ This should be working on Intel and AMD platforms.
file	perfmon_amd.h
	AMD performance monitoring infrastructure.
file	spinlocks_arch.h