Proper Printf Format for Printing Physical Addresses on 32 and 64 bit Systems

[David Christensen]

I have some debugging code in my network driver and I'd like
to print out the physical address of a memory block.  What's
the right way to use a printf() that works on both 32 and 64
bit platforms?

Dave