diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-06-09 07:33:42 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-06-09 07:33:42 -0400 |
commit | 89ae8b192e2f7455e8ac822a1543e914d3aa5041 (patch) | |
tree | c2d2c11a6dc5b0c1075cf17c09e2a12b5f8ed572 | |
parent | 4f674eaec83e2f05f088186e0457b4b0028c44c5 (diff) |
LITMUS^RT core: include debug_trace.h
-rw-r--r-- | litmus/budget.c | 1 | ||||
-rw-r--r-- | litmus/jobs.c | 1 | ||||
-rw-r--r-- | litmus/preempt.c | 1 | ||||
-rw-r--r-- | litmus/sched_plugin.c | 1 |
4 files changed, 4 insertions, 0 deletions
diff --git a/litmus/budget.c b/litmus/budget.c index d7b250ebcc26..18dac24e5632 100644 --- a/litmus/budget.c +++ b/litmus/budget.c | |||
@@ -4,6 +4,7 @@ | |||
4 | #include <linux/uaccess.h> | 4 | #include <linux/uaccess.h> |
5 | #include <linux/module.h> | 5 | #include <linux/module.h> |
6 | 6 | ||
7 | #include <litmus/debug_trace.h> | ||
7 | #include <litmus/litmus.h> | 8 | #include <litmus/litmus.h> |
8 | #include <litmus/preempt.h> | 9 | #include <litmus/preempt.h> |
9 | #include <litmus/sched_plugin.h> | 10 | #include <litmus/sched_plugin.h> |
diff --git a/litmus/jobs.c b/litmus/jobs.c index 1c700f9acd24..43f1f94e0b6e 100644 --- a/litmus/jobs.c +++ b/litmus/jobs.c | |||
@@ -3,6 +3,7 @@ | |||
3 | 3 | ||
4 | #include <linux/sched.h> | 4 | #include <linux/sched.h> |
5 | 5 | ||
6 | #include <litmus/debug_trace.h> | ||
6 | #include <litmus/preempt.h> | 7 | #include <litmus/preempt.h> |
7 | #include <litmus/litmus.h> | 8 | #include <litmus/litmus.h> |
8 | #include <litmus/sched_plugin.h> | 9 | #include <litmus/sched_plugin.h> |
diff --git a/litmus/preempt.c b/litmus/preempt.c index 9e2356db86df..5f678536b7fa 100644 --- a/litmus/preempt.c +++ b/litmus/preempt.c | |||
@@ -1,5 +1,6 @@ | |||
1 | #include <linux/sched.h> | 1 | #include <linux/sched.h> |
2 | 2 | ||
3 | #include <litmus/debug_trace.h> | ||
3 | #include <litmus/litmus.h> | 4 | #include <litmus/litmus.h> |
4 | #include <litmus/preempt.h> | 5 | #include <litmus/preempt.h> |
5 | #include <litmus/trace.h> | 6 | #include <litmus/trace.h> |
diff --git a/litmus/sched_plugin.c b/litmus/sched_plugin.c index 54afe73b4771..9390eb9141bf 100644 --- a/litmus/sched_plugin.c +++ b/litmus/sched_plugin.c | |||
@@ -9,6 +9,7 @@ | |||
9 | #include <linux/sched.h> | 9 | #include <linux/sched.h> |
10 | #include <linux/seq_file.h> | 10 | #include <linux/seq_file.h> |
11 | 11 | ||
12 | #include <litmus/debug_trace.h> | ||
12 | #include <litmus/litmus.h> | 13 | #include <litmus/litmus.h> |
13 | #include <litmus/sched_plugin.h> | 14 | #include <litmus/sched_plugin.h> |
14 | #include <litmus/preempt.h> | 15 | #include <litmus/preempt.h> |