diff options
Diffstat (limited to 'litmus/litmus.c')
-rw-r--r-- | litmus/litmus.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/litmus/litmus.c b/litmus/litmus.c index cb41548d3e2d..07d9d70346a0 100644 --- a/litmus/litmus.c +++ b/litmus/litmus.c | |||
@@ -13,11 +13,14 @@ | |||
13 | #include <litmus/litmus.h> | 13 | #include <litmus/litmus.h> |
14 | #include <litmus/bheap.h> | 14 | #include <litmus/bheap.h> |
15 | #include <litmus/trace.h> | 15 | #include <litmus/trace.h> |
16 | #include <litmus/event_group.h> | ||
17 | #include <litmus/rt_domain.h> | 16 | #include <litmus/rt_domain.h> |
18 | #include <litmus/litmus_proc.h> | 17 | #include <litmus/litmus_proc.h> |
19 | #include <litmus/sched_trace.h> | 18 | #include <litmus/sched_trace.h> |
20 | 19 | ||
20 | #ifdef CONFIG_MERGE_TIMERS | ||
21 | #include <litmus/event_group.h> | ||
22 | #endif | ||
23 | |||
21 | #ifdef CONFIG_PLUGIN_MC | 24 | #ifdef CONFIG_PLUGIN_MC |
22 | #include <linux/pid.h> | 25 | #include <linux/pid.h> |
23 | #include <linux/hrtimer.h> | 26 | #include <linux/hrtimer.h> |