Subject: Re: number base printing conventions
To: None <>
From: Mike Long <>
List: tech-kern
Date: 07/28/1997 17:17:21
>From: "Erik E. Fair" (Timekeeper) <>
>Date: 	Mon, 28 Jul 1997 13:51:08 -0700
>Didn't check %p beyond reading the man page for printf(3) which
>says it's "%x" for "void *" without any further elaboration.
>Doc bug, I guess.

Note that prinf(3) describes the userland printf() from libc, not the
kernel printf() from subr_prf.c.  Some of the details differ.
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