diff options
author | Peter Zijlstra <peterz@infradead.org> | 2014-04-08 14:27:25 +0200 |
---|---|---|
committer | Ingo Molnar <mingo@kernel.org> | 2014-04-18 12:07:31 +0200 |
commit | 08f8aeb55d7727d644dbbbbfb798fe937d47751d (patch) | |
tree | b23b53459c4ec6b15da79c534684bcc008df9eef /drivers/char/ipmi | |
parent | 46383648b3c769fa74794ae6425ab993fc113bdb (diff) |
sched: Remove set_need_resched()
The last user is gone now, so we can safely remove this function.
Signed-off-by: Peter Zijlstra <peterz@infradead.org>
Cc: Mike Galbraith <bitbucket@online.de>
Cc: linux-kernel@vger.kernel.org
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'drivers/char/ipmi')
0 files changed, 0 insertions, 0 deletions