diff options
author | peter <ztong@cs.unc.edu> | 2019-01-09 17:40:49 -0500 |
---|---|---|
committer | peter <ztong@cs.unc.edu> | 2019-01-09 17:40:49 -0500 |
commit | 906576967e8a430a28cfb164594d0e3792238761 (patch) | |
tree | 14612961f0449993a772212e3304374e6cba4d16 | |
parent | ca5c85ff6637f119186b69632d99940dad66afa6 (diff) |
fix4
-rw-r--r-- | litmus/sched_edfsc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/litmus/sched_edfsc.c b/litmus/sched_edfsc.c index 71f53f62c584..4e931643980a 100644 --- a/litmus/sched_edfsc.c +++ b/litmus/sched_edfsc.c | |||
@@ -2,9 +2,9 @@ | |||
2 | #include <litmus/sched_plugin.h> //for register_sched_plugin | 2 | #include <litmus/sched_plugin.h> //for register_sched_plugin |
3 | #include <linux/percpu.h> //for per cpu allocations | 3 | #include <linux/percpu.h> //for per cpu allocations |
4 | #include <linux/sched.h> //for task_struct | 4 | #include <linux/sched.h> //for task_struct |
5 | #include <litmus/litmus.h> //for debug | ||
5 | #include <litmus/rt_domain.h> | 6 | #include <litmus/rt_domain.h> |
6 | #include <linux/cpumask.h> //for for_each_online_cpu | 7 | #include <linux/cpumask.h> //for for_each_online_cpu |
7 | #include <litmus/litmus.h> //for debug | ||
8 | #include <litmus/edf_common.h> //for common edf util | 8 | #include <litmus/edf_common.h> //for common edf util |
9 | 9 | ||
10 | typedef struct { | 10 | typedef struct { |