tree f2caeed0a8c1f5564e12d63d8c50a89bd3cd6b27
parent 72fd455ba54b5a02b9c74221b9ded8b1845b464a
author Wang Chen <wangchen@cn.fujitsu.com> 1235973326 +0800
committer Ingo Molnar <mingo@elte.hu> 1235991773 +0100

sched: kill unused parameter of pick_next_task()

Impact: micro-optimization

Parameter "prev" is not used really.

Signed-off-by: Wang Chen <wangchen@cn.fujitsu.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>