On Tue, Oct 14, 2008 at 7:47 PM, Myles Watson <mylesgw at gmail.com> wrote: > I was expecting that my 64-bit values would lose their upper bits, but I > wasn't expecting what I got. > just cast them to u32 in the call to printk (u32) whatever, (u32) whatever, etc. ron