diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-06-09 07:32:17 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-06-09 07:32:17 -0400 |
commit | 72c013d0144cdbdecb11556e805a135e785c3ef1 (patch) | |
tree | 3433a4568645f99ed2641f110606fbf29d537d37 | |
parent | c7f3e631775ba3bd47f6370f80dad9dfd89fc5f6 (diff) |
P-FP: include debug_trace.h
-rw-r--r-- | litmus/sched_pfp.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/sched_pfp.c b/litmus/sched_pfp.c index eba5c46ac797..c7f2e60d010b 100644 --- a/litmus/sched_pfp.c +++ b/litmus/sched_pfp.c | |||
@@ -11,6 +11,7 @@ | |||
11 | #include <linux/spinlock.h> | 11 | #include <linux/spinlock.h> |
12 | #include <linux/module.h> | 12 | #include <linux/module.h> |
13 | 13 | ||
14 | #include <litmus/debug_trace.h> | ||
14 | #include <litmus/litmus.h> | 15 | #include <litmus/litmus.h> |
15 | #include <litmus/wait.h> | 16 | #include <litmus/wait.h> |
16 | #include <litmus/jobs.h> | 17 | #include <litmus/jobs.h> |