new panic in cpu_reset() with WITNESS

Gleb Smirnoff glebius at
Mon Jan 23 16:24:12 UTC 2012

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> 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.

More information about the freebsd-current mailing list