Marc D Bumble <bumble@groucho.ennovatenetworks.com> writes:
> 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?
[...]
> Is there something unusual about the way these function need to
> operate in the kernel?

Good guess. Try reading sys/kern/subr_prf.c

Perry