diff options
| author | Peter Zijlstra <[email protected]> | 2014-04-08 14:27:25 +0200 |
|---|---|---|
| committer | Ingo Molnar <[email protected]> | 2014-04-18 12:07:31 +0200 |
| commit | 08f8aeb55d7727d644dbbbbfb798fe937d47751d (patch) | |
| tree | b23b53459c4ec6b15da79c534684bcc008df9eef /tools | |
| 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 <[email protected]>
Cc: Mike Galbraith <[email protected]>
Cc: [email protected]
Signed-off-by: Ingo Molnar <[email protected]>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions