diff options
| author | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-05-19 11:31:02 -0400 |
|---|---|---|
| committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-05-19 11:31:02 -0400 |
| commit | 3813e4586d0f05bdcfdf8a09e535949d2d28fba9 (patch) | |
| tree | 76d2dee2a96363f283b9440d46d1ed8be4fa3aff /include | |
| parent | afb9f15d6fb6168cee3a8c01bfdc058e2c0572cc (diff) | |
| parent | 31bda91ac81260e26a76ffa2b7004a2dbeab86fb (diff) | |
Merge branch 'wip-cedf-merge-master'
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus/sched_plugin.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/litmus/sched_plugin.h b/include/litmus/sched_plugin.h index 2d856d587041..9c1c9f28ba79 100644 --- a/include/litmus/sched_plugin.h +++ b/include/litmus/sched_plugin.h | |||
| @@ -133,6 +133,9 @@ struct sched_plugin { | |||
| 133 | 133 | ||
| 134 | extern struct sched_plugin *litmus; | 134 | extern struct sched_plugin *litmus; |
| 135 | 135 | ||
| 136 | /* cluster size: cache_index = 2 L2, cache_index = 3 L3 */ | ||
| 137 | extern int cluster_cache_index; | ||
| 138 | |||
| 136 | int register_sched_plugin(struct sched_plugin* plugin); | 139 | int register_sched_plugin(struct sched_plugin* plugin); |
| 137 | struct sched_plugin* find_sched_plugin(const char* name); | 140 | struct sched_plugin* find_sched_plugin(const char* name); |
| 138 | int print_sched_plugins(char* buf, int max); | 141 | int print_sched_plugins(char* buf, int max); |