sched: make !hrtick faster
authorMike Galbraith <efault@gmx.de>
Mon, 12 May 2008 19:20:55 +0000 (21:20 +0200)
committerIngo Molnar <mingo@elte.hu>
Fri, 6 Jun 2008 13:19:27 +0000 (15:19 +0200)
it is safe to ignore timers and flags when the feature is disabled.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>

No differences found