On Tue, Nov 06, 2012 at 09:34:39AM +0100, Stanislav Meduna wrote:

Shawn: could you try change the
  update_sched_clock();
to
  sched_clock_poll(sched_clock_timer.data);
right after update_sched_clock call in setup_sched_clock?

With the change, it still wraps at 2 seconds.

Shawn