diff options
author | Joshua Bakita <jbakita@cs.unc.edu> | 2020-02-26 13:36:55 -0500 |
---|---|---|
committer | Joshua Bakita <jbakita@cs.unc.edu> | 2020-02-26 13:36:55 -0500 |
commit | 72e55e5c572abe93440829702592acb5334a052e (patch) | |
tree | b81284b381ec3bd5c59eb96e601122a766ede2ef | |
parent | 6814e3257ca519179e7ab725427581aeecfb7a8e (diff) |
Revert type fix on domain comparison as the old (ab)use is actually okay
-rw-r--r-- | litmus/sched_edfsc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/litmus/sched_edfsc.c b/litmus/sched_edfsc.c index 33e9e829dd0f..125b2e314176 100644 --- a/litmus/sched_edfsc.c +++ b/litmus/sched_edfsc.c | |||
@@ -594,7 +594,7 @@ static struct task_struct *edfsc_gschedule(struct task_struct *prev) | |||
594 | /* sanity checking */ | 594 | /* sanity checking */ |
595 | BUG_ON(entry->scheduled && entry->scheduled != prev && !is_container(entry->scheduled)); | 595 | BUG_ON(entry->scheduled && entry->scheduled != prev && !is_container(entry->scheduled)); |
596 | BUG_ON(entry->scheduled && entry->scheduled != prev && | 596 | BUG_ON(entry->scheduled && entry->scheduled != prev && |
597 | tsk_rt(prev)->edfsc_params.domain != tsk_rt(entry->scheduled)->edfsc_params.domain); | 597 | tsk_rt(prev)->domain != tsk_rt(entry->scheduled)->edfsc_params.domain); |
598 | BUG_ON(entry->scheduled && entry->scheduled != prev && | 598 | BUG_ON(entry->scheduled && entry->scheduled != prev && |
599 | prev != tsk_rt(entry->scheduled)->edfsc_params.domain->scheduled); | 599 | prev != tsk_rt(entry->scheduled)->edfsc_params.domain->scheduled); |
600 | // It's okay for the previously scheduled task to not be rt if we think a | 600 | // It's okay for the previously scheduled task to not be rt if we think a |