sched: clean up pull_rt_task()
authorIngo Molnar <mingo@elte.hu>
Fri, 25 Jan 2008 20:08:17 +0000 (21:08 +0100)
committerIngo Molnar <mingo@elte.hu>
Fri, 25 Jan 2008 20:08:17 +0000 (21:08 +0100)
clean up pull_rt_task().

Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found