On Wed, Aug 31, 2011 at 2:26 PM, Mark Salter [off-list ref] wrote:

The C6X architecture includes a 64-bit free running core clock counter which
is used as the clocksource. The SoCs have a number of 64-bit programmable
timers. One of these is used as the clockevent timer.

Signed-off-by: Mark Salter <redacted>

Sort of a tangent to this specific patch, but since it came up
recently in the x32 discussion, I wanted to check if you were using a
64bit definition of time_t?

thanks
-john