diff options
author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-07-01 10:45:20 -0400 |
---|---|---|
committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-07-01 10:45:20 -0400 |
commit | 9b070bc6b676c62d4988da8699f0a731e733b318 (patch) | |
tree | a672d1b726cdce756f9a67786f0262cca776d3fe /litmus/litmus.c | |
parent | 0291b7547359c8e01ca1146ca8f2d5f321338ff8 (diff) |
make inclusion of SRP support optional2008.1
we can disable it to improve performance when it is not needed
Diffstat (limited to 'litmus/litmus.c')
-rw-r--r-- | litmus/litmus.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/litmus/litmus.c b/litmus/litmus.c index 852559468d..979985e4a3 100644 --- a/litmus/litmus.c +++ b/litmus/litmus.c | |||
@@ -132,9 +132,6 @@ asmlinkage long sys_get_rt_task_param(pid_t pid, struct rt_task __user * param) | |||
132 | 132 | ||
133 | } | 133 | } |
134 | 134 | ||
135 | /* implemented in kernel/litmus_sem.c */ | ||
136 | void srp_ceiling_block(void); | ||
137 | |||
138 | /* | 135 | /* |
139 | * This is the crucial function for periodic task implementation, | 136 | * This is the crucial function for periodic task implementation, |
140 | * It checks if a task is periodic, checks if such kind of sleep | 137 | * It checks if a task is periodic, checks if such kind of sleep |