I see some kernel hex prints either way, with or without, 0x.
In this case, in part because I was changing a decimal to a hex
format, and because it could be ambiguous (a hex number that
happened to use only [0-9] digits would be indistinguisable from
a decimal) I preferred using the 0x.
I see no clear answer here ... it seems to be a matter of taste.
I fixed the ones I noticed. If you see print formats that you
would like to change, I will likely be in agreement to such a
patch.
--
I won't rest till it's the best ...
Programmer, Linux Scalability
Paul Jackson <pj@sgi.com> 1.940.382.4214
--