diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-04-10 20:30:21 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-04-10 20:30:21 -0400 |
commit | a030c2dd1a95efc450598e592c134c69c73b2b0e (patch) | |
tree | 3b016dfa1b9bd60c22a235dd08e7a63aa841a252 /litmus | |
parent | 5bed8758a3a7c971b71e3698158ae58598fafe5b (diff) |
Better bug ons
Diffstat (limited to 'litmus')
-rw-r--r-- | litmus/sched_edf_hsb.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/litmus/sched_edf_hsb.c b/litmus/sched_edf_hsb.c index 70a0ddd4ad5a..5fe546d156c0 100644 --- a/litmus/sched_edf_hsb.c +++ b/litmus/sched_edf_hsb.c | |||
@@ -171,6 +171,7 @@ static struct sched_plugin edf_hsb_plugin __cacheline_aligned_in_smp; | |||
171 | */ | 171 | */ |
172 | static inline int head_in_list(struct list_head *head) | 172 | static inline int head_in_list(struct list_head *head) |
173 | { | 173 | { |
174 | BUG_ON(!head); | ||
174 | return !(head->next == head->prev && head->prev == head); | 175 | return !(head->next == head->prev && head->prev == head); |
175 | } | 176 | } |
176 | 177 | ||
@@ -858,6 +859,7 @@ static server_t* next_eligible_slack_server(void) | |||
858 | 859 | ||
859 | while (!list_empty(&slack_queue)) { | 860 | while (!list_empty(&slack_queue)) { |
860 | next_slack = list_entry(slack_queue.next, server_t, list); | 861 | next_slack = list_entry(slack_queue.next, server_t, list); |
862 | BUG_ON(!next_slack); | ||
861 | 863 | ||
862 | if (lt_after(next_slack->deadline, litmus_clock()) && | 864 | if (lt_after(next_slack->deadline, litmus_clock()) && |
863 | lt_after(next_slack->budget, SLACK_MIN)) { | 865 | lt_after(next_slack->budget, SLACK_MIN)) { |