diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-06-09 07:33:07 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-06-09 07:33:07 -0400 |
| commit | 4f674eaec83e2f05f088186e0457b4b0028c44c5 (patch) | |
| tree | 93fd5a8bb8bed2fb726fdf1bf5b69885f1fbe8ac /kernel | |
| parent | 849f7c516ab60985e32f73ec0b5c696baa8a22d7 (diff) | |
LITMUS^RT integration in core scheduler: include debug_trace.h
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/sched/core.c | 1 | ||||
| -rw-r--r-- | kernel/sched/litmus.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/kernel/sched/core.c b/kernel/sched/core.c index ef0c6b22045c..a17bd1a9be77 100644 --- a/kernel/sched/core.c +++ b/kernel/sched/core.c | |||
| @@ -89,6 +89,7 @@ | |||
| 89 | #include "../smpboot.h" | 89 | #include "../smpboot.h" |
| 90 | 90 | ||
| 91 | #include <litmus/litmus.h> | 91 | #include <litmus/litmus.h> |
| 92 | #include <litmus/debug_trace.h> | ||
| 92 | #include <litmus/trace.h> | 93 | #include <litmus/trace.h> |
| 93 | #include <litmus/sched_trace.h> | 94 | #include <litmus/sched_trace.h> |
| 94 | #include <litmus/sched_plugin.h> | 95 | #include <litmus/sched_plugin.h> |
diff --git a/kernel/sched/litmus.c b/kernel/sched/litmus.c index 6c587bdff401..d9c59998155b 100644 --- a/kernel/sched/litmus.c +++ b/kernel/sched/litmus.c | |||
| @@ -5,6 +5,7 @@ | |||
| 5 | #include <litmus/trace.h> | 5 | #include <litmus/trace.h> |
| 6 | #include <litmus/sched_trace.h> | 6 | #include <litmus/sched_trace.h> |
| 7 | 7 | ||
| 8 | #include <litmus/debug_trace.h> | ||
| 8 | #include <litmus/litmus.h> | 9 | #include <litmus/litmus.h> |
| 9 | #include <litmus/budget.h> | 10 | #include <litmus/budget.h> |
| 10 | #include <litmus/sched_plugin.h> | 11 | #include <litmus/sched_plugin.h> |