On Tue, Feb 14, 2012 at 08:50:15PM +0100, Manuel Bouyer wrote: > > We pause all other cpus on entry to ddb in machdep code (db_suspend_others). > > And panic() doesn't do this ? It should. I don't know, but you asked where to start looking ;-) Martin