On Tue, 29 Jun 2004, Lars Nordlund wrote:

> When trying to single step through this area I came up with nothing. The
> single stepping did not work at all. I was later informed that it might
> be related to code executed in interrupt context? Also printf() did not
> help. Perhaps the printout is not flushed until interrupt context is
> exited?

No, printf() won't work while interrupts are blocked. What you can do,
is to create a function to do the printing, and set a callout to that
function with a timer of "1". See "sys/dev/ic/com.c" for an example.

Frederick