On Tue, Feb 14, 2012 at 07:20:44PM +0100, Manuel Bouyer wrote: > It would be nice to have it fixed, yes. But I've no idea where to look > at ... We pause all other cpus on entry to ddb in machdep code (db_suspend_others). Martin