On Tue, Nov 03, 2009 at 08:02:52AM +0100, Christoph Egger wrote: > 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?
Just i386. amd64 & amd64+Xen should be covered by SPLDEBUG, but I don't have an amd64 box handy for testing. Dave -- David Young OJC Technologies dyo...@ojctech.com Urbana, IL * (217) 278-3933