diff options
| author | Rick Yiu <rickyiu@google.com> | 2020-09-27 11:21:11 +0800 |
|---|---|---|
| committer | Rick Yiu <rickyiu@google.com> | 2020-09-27 11:21:11 +0800 |
| commit | 3bdc652ae3ba1fccac6dccd62363c0eac6958326 (patch) | |
| tree | a999643560df7ca11be213fd1e51a5885ceb22d0 /trusty/coverage/coverage.cpp | |
| parent | bddbb93e4f37702faa3d97251d8c09e64c6d5806 (diff) | |
Revert "Add choice for changing sched policy when setting thread priority"
This reverts commit 57affbf91d016eda1395106c4d5f0350471dca85.
Reason for revert: new API is no longer used
Change-Id: I97128c1d367e161aa50deaefa8b73a0f25e29af4
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions