K 10 svn:author V 7 iedowse K 8 svn:date V 27 2003-06-22T03:20:24.000000Z K 7 svn:log V 222 When DDB is active, always send printf() output directly to the console, even if there is a TIOCCONS console tty. We were already doing this after a panic, but it's also useful when entering DDB for some other reason too. END