aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/sched_plugin.c
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2014-07-16 10:52:13 -0400
committerBjoern Brandenburg <bbb@mpi-sws.org>2014-07-21 08:53:44 -0400
commitac730fd04287024162f1f960ad40a8c8e971cc55 (patch)
tree38560ac7cc3bf6f7c4fe611c1d106b9b1f8c492f /litmus/sched_plugin.c
parente4010654e60d58ae6619857359d508b3597a9cf7 (diff)
Add reservation creation API to plugin interface & syscalls
Diffstat (limited to 'litmus/sched_plugin.c')
-rw-r--r--litmus/sched_plugin.c13
1 files changed, 13 insertions, 0 deletions
diff --git a/litmus/sched_plugin.c b/litmus/sched_plugin.c
index edd91e9bf773..b9177931299c 100644
--- a/litmus/sched_plugin.c
+++ b/litmus/sched_plugin.c
@@ -132,6 +132,17 @@ static long litmus_dummy_allocate_lock(struct litmus_lock **lock, int type,
132 132
133#endif 133#endif
134 134
135static long litmus_dummy_reservation_create(
136 int reservation_type,
137 void* __user config)
138{
139 return -EINVAL;
140}
141
142static long litmus_dummy_reservation_destroy(unsigned int reservation_id, int cpu)
143{
144 return -EINVAL;
145}
135 146
136/* The default scheduler plugin. It doesn't do anything and lets Linux do its 147/* The default scheduler plugin. It doesn't do anything and lets Linux do its
137 * job. 148 * job.
@@ -193,6 +204,8 @@ int register_sched_plugin(struct sched_plugin* plugin)
193#endif 204#endif
194 CHECK(admit_task); 205 CHECK(admit_task);
195 CHECK(synchronous_release_at); 206 CHECK(synchronous_release_at);
207 CHECK(reservation_destroy);
208 CHECK(reservation_create);
196 209
197 if (!plugin->wait_for_release_at) 210 if (!plugin->wait_for_release_at)
198 plugin->wait_for_release_at = default_wait_for_release_at; 211 plugin->wait_for_release_at = default_wait_for_release_at;