Subject: Re: howto debug kernel
To: None <>
From: Mike Long <>
List: tech-kern
Date: 05/12/1997 10:20:48
>Date: Mon, 12 May 1997 09:04:38 -0400 (EDT)
>From: Lian Keng Lim <>

>Excerpts from 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 <>      
"Every normal man must be tempted at times to spit on his hands,
hoist the black flag, and begin slitting throats." -- H.L. Mencken