diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2014-03-28 09:24:28 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2014-03-31 08:29:42 +0200 |
| commit | c2225d735662f9d79bde7967418237b190dcb22b (patch) | |
| tree | 2d7c05e68aa532ae4cd6ccbef56e473537a66896 /cpukit/libmisc/cpuuse/cpuusagereport.c | |
| parent | 298d0fda9df75d2b7c4b9329a78845cb1398342b (diff) | |
score: Add _Scheduler_Change_priority_if_higher()
Add _Scheduler_Set_priority_if_higher().
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions