Re: [GIT pull] x86/timers for 4.10

[Thomas Gleixner]

On Thu, 9 Feb 2017, Mike Galbraith wrote:
> 
> I don't even remember which box it was, but I can try to find it again
> during idle moments.

  sys_sched_setscheduler(PIDOF(Mike), IDLE);