On Fri, Dec 05, 2014 at 11:11:14AM +0000, Russell King - ARM Linux wrote: > In any case, wouldn't using a u64 type for "address" be better - isn't > "long long" 128-bit on 64-bit architectures? No, it's still 64-bit. There is no 128-bit integer in the C standard. -- Catalin