>From: "Erik E. Fair" (Timekeeper) <fair@clock.org>
>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 <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