diff options
| author | Carlos Bilbao <Zildj1an@users.noreply.github.com> | 2020-04-10 06:32:36 -0400 |
|---|---|---|
| committer | Björn Brandenburg <bbb@mpi-sws.org> | 2020-04-15 10:09:53 -0400 |
| commit | 03291a4ba688d86c0ce66d599784d0c0bdc6eedd (patch) | |
| tree | 029174532c0d14ca1e97cf42064120aace661193 /litmus | |
| parent | 4ca77fbf62fd0dee4aafb218943dad2352c3f70a (diff) | |
Missing function litmus_dummy_next_became_invalid
Didn't fail thanks to the CHECK
Diffstat (limited to 'litmus')
| -rw-r--r-- | litmus/sched_plugin.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/sched_plugin.c b/litmus/sched_plugin.c index 8fd3d6527e8d..6e3da26e03b7 100644 --- a/litmus/sched_plugin.c +++ b/litmus/sched_plugin.c | |||
| @@ -192,6 +192,7 @@ struct sched_plugin linux_sched_plugin = { | |||
| 192 | .get_domain_proc_info = litmus_dummy_get_domain_proc_info, | 192 | .get_domain_proc_info = litmus_dummy_get_domain_proc_info, |
| 193 | .synchronous_release_at = litmus_dummy_synchronous_release_at, | 193 | .synchronous_release_at = litmus_dummy_synchronous_release_at, |
| 194 | .should_wait_for_stack = litmus_dummy_should_wait_for_stack, | 194 | .should_wait_for_stack = litmus_dummy_should_wait_for_stack, |
| 195 | .next_became_invalid = litmus_dummy_next_became_invalid, | ||
| 195 | #ifdef CONFIG_LITMUS_LOCKING | 196 | #ifdef CONFIG_LITMUS_LOCKING |
| 196 | .allocate_lock = litmus_dummy_allocate_lock, | 197 | .allocate_lock = litmus_dummy_allocate_lock, |
| 197 | #endif | 198 | #endif |