new panic in cpu_reset() with WITNESS

[Gleb Smirnoff]

On Mon, Jan 23, 2012 at 04:01:20PM +0200, Andriy Gapon wrote:
A> > A> Can you try to change printfs in witness to db_printfs?  Perhaps this will allow
A> > A> to get the details of the LOR in uart_cnputc.  Maybe that will reveal some
A> > A> important additional details.
A> > 
A> > Should I do s/printf/db_printf/ throughout entire subr_witness.c, or only
A> > in special places?
A> 
A> I think that "replace all" should work for this test.

Yes, s/	printf/	db_printf/ in subr_witness.c fixes my problem.

-- 
Totus tuus, Glebius.