nohz: reduce jiffies polling overhead
authorIngo Molnar <mingo@elte.hu>
Mon, 12 May 2008 13:43:53 +0000 (15:43 +0200)
committerIngo Molnar <mingo@elte.hu>
Fri, 30 May 2008 12:16:10 +0000 (14:16 +0200)
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found