| commit | b6249384383bd96c13ff4b40c5890ab88b427486 | [log] [tgz] |
|---|---|---|
| author | Sharvil Nanavati <sharvil@google.com> | Sat Sep 06 16:46:46 2014 -0700 |
| committer | Andre Eisenbach <eisenbach@google.com> | Mon Mar 16 16:51:33 2015 -0700 |
| tree | 3948c9fba815fa27afa084dfe7c8b9fca8bfe3e9 | |
| parent | 034b771c581fb13c26343c8bac0525ddf130d5fb [diff] |
Eliminate GKI_run and GKI_stop. Neither had any effect. GKI_run was called but didn't do anything: it would call sched_setscheduler to increase the priority of the current process but Android OS policy doesn't allow for that. And GKI_stop was never called.