diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-16 10:52:13 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-21 08:53:44 -0400 |
commit | ac730fd04287024162f1f960ad40a8c8e971cc55 (patch) | |
tree | 38560ac7cc3bf6f7c4fe611c1d106b9b1f8c492f /litmus/sched_plugin.c | |
parent | e4010654e60d58ae6619857359d508b3597a9cf7 (diff) |
Add reservation creation API to plugin interface & syscalls
Diffstat (limited to 'litmus/sched_plugin.c')
-rw-r--r-- | litmus/sched_plugin.c | 13 |
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 | ||
135 | static long litmus_dummy_reservation_create( | ||
136 | int reservation_type, | ||
137 | void* __user config) | ||
138 | { | ||
139 | return -EINVAL; | ||
140 | } | ||
141 | |||
142 | static 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; |