>Date: Mon, 12 May 1997 09:04:38 -0400 (EDT)
>From: Lian Keng Lim <kengl+@andrew.cmu.edu>

>Excerpts from internet.computing.netbsd.tech-kern: 9-May-97 Re: howto
>debug kernel  by Jason Thorpe@nas.nasa.go 
>> 
>> ...actually, there is a "log()", but printf() is better for debugging :-)
>> 
>Is log() documented in the man pages?  I can't seem to find anything on
>it when I do a "man log".

No.  If it were documented, the documentation would be in section 9.
Note that section 3 manpages are accurate only for userland code, not
kernel code.  Both the kernel and userland have functions named
printf(), but they are not the same functions.
-- 
Mike Long <mikel@shore.net>                http://www.shore.net/~mikel
"Every normal man must be tempted at times to spit on his hands,
hoist the black flag, and begin slitting throats." -- H.L. Mencken