On Tue, Oct 14, 2008 at 7:47 PM, Myles Watson mylesgw@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