On Wed, 6 May 2015, Arnd Bergmann wrote: > Needed for converting sys_sched_rr_get_interval > > Signed-off-by: Arnd Bergmann <arnd@arndb.de> Reviewed-by: Thomas Gleixner <tglx@linutronix.de>