diff options
| author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-10-07 22:25:47 -0400 |
|---|---|---|
| committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-10-07 22:25:47 -0400 |
| commit | 91dca2e13c86f15343d13b83c328fdab3cfa110a (patch) | |
| tree | 4ee87d0f2481d025045a8ad00b29183b324db8e5 /litmus | |
| parent | 4f196c1854e8e51d33fc0c68ec7249f54886ae83 (diff) | |
Fixed scheduling overhead macros for mixed-criticality.
Diffstat (limited to 'litmus')
| -rw-r--r-- | litmus/sched_mc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/sched_mc.c b/litmus/sched_mc.c index 8028ce85e2dd..03a214f70233 100644 --- a/litmus/sched_mc.c +++ b/litmus/sched_mc.c | |||
| @@ -673,6 +673,7 @@ static void job_completion(struct task_struct *task, int forced) | |||
| 673 | if (!forced) { | 673 | if (!forced) { |
| 674 | /* Userspace signaled job completion */ | 674 | /* Userspace signaled job completion */ |
| 675 | sched_trace_task_completion(current, 0); | 675 | sched_trace_task_completion(current, 0); |
| 676 | mb(); | ||
| 676 | setup_user_release(current, get_user_deadline(current)); | 677 | setup_user_release(current, get_user_deadline(current)); |
| 677 | 678 | ||
| 678 | } | 679 | } |