David Young wrote: > 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.
That implies nobody else has an amd64 machine ? Christoph