> From: Rick Kelly <rmk@rmkhome.rmkhome.com>
> Date: Fri, 29 Nov 1996 22:51:19 -0500 (EST)

> Brad Spencer said:
> 
> >I believe that this should be something like kvprintf [in
> >.../sun3/stand/libsa/panic.c].  I have not tried the boot, yet.... So
> >I am unsure if they work.
> 
> I changed vprintf to kvprintf in panic.c and that fixed it.

Sorry to take so long getting to that, but I finally fixed it.

The real problem was that src/sys/lib/libsa/printf.c was changed
and the change only partially reverted, so that vprintf went away.
That was unintentional, so I've put kvprintf back to vprintf.

Gordon