Subject: Re: howto debug kernel
To: None <email@example.com>
From: Mike Long <firstname.lastname@example.org>
Date: 05/12/1997 10:20:48
>Date: Mon, 12 May 1997 09:04:38 -0400 (EDT)
>From: Lian Keng Lim <email@example.com>
>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 <firstname.lastname@example.org> 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