David Young wrote: > Module Name: src > Committed By: dyoung > Date: Tue Nov 3 05:23:28 UTC 2009 > > Modified Files: > src/sys/arch/i386/conf: files.i386 > src/sys/arch/i386/i386: spl.S > src/sys/arch/x86/x86: patch.c > src/sys/arch/xen/conf: files.xen > src/sys/kern: init_main.c kern_stub.c subr_prf.c > src/sys/sys: systm.h > Added Files: > src/sys/kern: subr_spldebug.c > src/sys/sys: spldebug.h > > Log Message: > 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.
Does this include i386 Xen kernels or amd64 Xen kernels or both? Christoph
