Hi Colin, > One day 32 bits will not be enough for CPU frequencies, so change > this to uint64_t for some future proofing. Yep, we need this for non-future machines too :) clock : 4208.000000MHz Acked-by: Jeremy Kerr <jk at ozlabs.org> Cheers, Jeremy