diff options
author | peter <ztong@cs.unc.edu> | 2019-01-09 17:33:21 -0500 |
---|---|---|
committer | peter <ztong@cs.unc.edu> | 2019-01-09 17:33:21 -0500 |
commit | 13694d9feb14476f517cd94cebf66cb4d6a9d1fe (patch) | |
tree | 89e2710f5046685fd8d440c67793ea283bc2adc6 | |
parent | 3ee02bc8a0013aa6aeb71abf386ec58fd6975ca8 (diff) |
fix2
-rw-r--r-- | litmus/sched_edfsc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/sched_edfsc.c b/litmus/sched_edfsc.c index 65bc4754c01a..1c12a91c7959 100644 --- a/litmus/sched_edfsc.c +++ b/litmus/sched_edfsc.c | |||
@@ -5,6 +5,7 @@ | |||
5 | #include <litmus/rt_domain.h> | 5 | #include <litmus/rt_domain.h> |
6 | #include <linux/cpumask.h> //for for_each_online_cpu | 6 | #include <linux/cpumask.h> //for for_each_online_cpu |
7 | #include <litmus/litmus.h> //for debug | 7 | #include <litmus/litmus.h> //for debug |
8 | #include <litmus/edf_common.h> //for common edf util | ||
8 | 9 | ||
9 | typedef struct { | 10 | typedef struct { |
10 | int cpu; | 11 | int cpu; |