Yes, i'm doing it the hard way too.  But I did notice one oddity,
I occassionally go to print out the uio_offset which is an off_t,
i.e. quad.  It does not look to me that the kernel printf handles
quads (%qx or %llx) -- does it.