diff options
author | Ming Yang <yang@cs.unc.edu> | 2016-02-11 20:31:16 -0500 |
---|---|---|
committer | Ming Yang <yang@cs.unc.edu> | 2016-02-11 20:31:16 -0500 |
commit | 28cef80c0b9da0184ef736ae131b6146c5976422 (patch) | |
tree | ddaa898f1786850dbd3d759a032903f5a7a35ae0 /include/litmus/mc2_common.h | |
parent | 696546dd52d9baf73920a61e6525a41f3460ba4d (diff) |
Manually patched mc^2 related codewip-mc2-cache-slack
Diffstat (limited to 'include/litmus/mc2_common.h')
-rw-r--r-- | include/litmus/mc2_common.h | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/include/litmus/mc2_common.h b/include/litmus/mc2_common.h new file mode 100644 index 000000000000..e3c0af28f1b9 --- /dev/null +++ b/include/litmus/mc2_common.h | |||
@@ -0,0 +1,31 @@ | |||
1 | /* | ||
2 | * MC^2 common data structures | ||
3 | */ | ||
4 | |||
5 | #ifndef __UNC_MC2_COMMON_H__ | ||
6 | #define __UNC_MC2_COMMON_H__ | ||
7 | |||
8 | enum crit_level { | ||
9 | CRIT_LEVEL_A = 0, | ||
10 | CRIT_LEVEL_B = 1, | ||
11 | CRIT_LEVEL_C = 2, | ||
12 | NUM_CRIT_LEVELS = 3, | ||
13 | }; | ||
14 | |||
15 | struct mc2_task { | ||
16 | enum crit_level crit; | ||
17 | unsigned int res_id; | ||
18 | }; | ||
19 | |||
20 | #ifdef __KERNEL__ | ||
21 | |||
22 | #include <litmus/reservation.h> | ||
23 | |||
24 | #define tsk_mc2_data(t) (tsk_rt(t)->mc2_data) | ||
25 | |||
26 | long mc2_task_client_init(struct task_client *tc, struct mc2_task *mc2_param, struct task_struct *tsk, | ||
27 | struct reservation *res); | ||
28 | |||
29 | #endif /* __KERNEL__ */ | ||
30 | |||
31 | #endif \ No newline at end of file | ||