new panic in cpu_reset() with WITNESS
glebius at FreeBSD.org
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> > 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