Please forgive  me if  I am  incorrect or confused  here, but  why are
printf and vprintf defined in file bsdsrc/sys/sys/systm.h as returning
type void?  I  think the ANSI standard defines  them as returning type
int?  Is there something unusual about the way these function need to
operate in the kernel?

thanks,

marc

----------------------------------------------------------------------

systm.h:

void	printf __P((const char *, ...))
    __kprintf_attribute__((__format__(__kprintf__,1,2)));
void	vprintf __P((const char *, _BSD_VA_LIST_));

ANSI:

int	printf __P((const char *, ...))
    __kprintf_attribute__((__format__(__kprintf__,1,2)));
int	vprintf __P((const char *, _BSD_VA_LIST_));