static void sputchar __P((int));
static void kprintn __P((void (*)(int), u_long, int));static void sputchar __P((int));static void kprintf __P((void (*)(int), const char *, va_list));#ifndef	NO_SPRINTFstatic char *sbuf;static voidsputchar(c)	int c;{	*sbuf++ = c;}