diff options
| author | Peter Zijlstra <peterz@infradead.org> | 2014-04-08 16:27:25 +0400 |
|---|---|---|
| committer | Ingo Molnar <mingo@kernel.org> | 2014-04-18 14:07:31 +0400 |
| commit | 08f8aeb55d7727d644dbbbbfb798fe937d47751d (patch) | |
| tree | b23b53459c4ec6b15da79c534684bcc008df9eef /drivers/char/ipmi | |
| parent | 46383648b3c769fa74794ae6425ab993fc113bdb (diff) | |
| download | linux-08f8aeb55d7727d644dbbbbfb798fe937d47751d.tar.xz | |
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