diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-05-04 06:05:21 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-05-04 06:05:21 -0400 |
| commit | 8319864c96a4b2cd519c2183f61dedc39e3d13a4 (patch) | |
| tree | 6a2a8e4b09006b5d1b123e456941f22e3165db88 /litmus | |
| parent | 51ca2ae6856e9edb81100fa9b3deb51eee8c9f73 (diff) | |
Define is_priority_boosted() if !CONFIG_LITMUS_LOCKING
To avoid compile errors if locking support is disabled, and to avoid
having to use #ifdef each time is_priority_boosted() is used.
Diffstat (limited to 'litmus')
0 files changed, 0 insertions, 0 deletions