dyoung e48f8429d1 Add a kernel configuration flag, SPLDEBUG, that activates a per-CPU log ... of transitions to IPL_HIGH from lower IPLs. SPLDEBUG is only available on i386 and Xen kernels, today. 'options SPLDEBUG' adds instrumentation to spllower() and splraise() as well as routines to start/stop debugging and to record IPL transitions: spldebug_start(), spldebug_stop(), spldebug_raise(), spldebug_lower().		2009-11-03 05:23:27 +00:00
..
files.compat	add dummy opt_via_c7temp.h, spotted by Andreas Gustafsson.	2009-10-03 20:56:39 +00:00
files.xen	Add a kernel configuration flag, SPLDEBUG, that activates a per-CPU log	2009-11-03 05:23:27 +00:00
Makefile.arch.inc
Makefile.xen
std.xen	include standard HAL option.	2008-12-12 03:28:57 +00:00