On Mon, 10 Jan 2011, Russell King - ARM Linux wrote: > With a 32-bit or smaller cyclecounter, as 32-bit x 32-bit can never > overflow a 64-bit destination, so if anything zero should be passed in > this case. That's the alternative suggestion I made as well. Nicolas