diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-09-06 08:37:32 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-10-18 16:14:09 -0400 |
| commit | 3e491287675ebc65aadb0356c028d81d9f7a66ad (patch) | |
| tree | 87004e6aa6bd4bb96d1b402927325c5eef4ebff5 | |
| parent | 057dcfdb1f0dfe07ec3e030b238e46a69d249a1e (diff) | |
P-FP: use proper CONFIG_ symbol
It's CONFIG_LITMUS_LOCKING, not just CONFIG_LOCKING...
| -rw-r--r-- | litmus/sched_pfp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/litmus/sched_pfp.c b/litmus/sched_pfp.c index 97581f689508..f69b6f61dfeb 100644 --- a/litmus/sched_pfp.c +++ b/litmus/sched_pfp.c | |||
| @@ -55,7 +55,7 @@ static void preempt(pfp_domain_t *pfp) | |||
| 55 | 55 | ||
| 56 | static unsigned int priority_index(struct task_struct* t) | 56 | static unsigned int priority_index(struct task_struct* t) |
| 57 | { | 57 | { |
| 58 | #ifdef CONFIG_LOCKING | 58 | #ifdef CONFIG_LITMUS_LOCKING |
| 59 | if (unlikely(t->rt_param.inh_task)) | 59 | if (unlikely(t->rt_param.inh_task)) |
| 60 | /* use effective priority */ | 60 | /* use effective priority */ |
| 61 | t = t->rt_param.inh_task; | 61 | t = t->rt_param.inh_task; |