Michael> BTW, is there some printk format to print u64 type? James> Try "%Lu", That will print a long long unsigned value. That's the problem -- u64 is not always unsigned long long. For example on ppc64, u64 is just unsigned long. - R.