aboutsummaryrefslogtreecommitdiffstats
path: root/litmus
diff options
context:
space:
mode:
authorJonathan Herman <hermanjl@cs.unc.edu>2011-04-10 20:30:21 -0400
committerJonathan Herman <hermanjl@cs.unc.edu>2011-04-10 20:30:21 -0400
commita030c2dd1a95efc450598e592c134c69c73b2b0e (patch)
tree3b016dfa1b9bd60c22a235dd08e7a63aa841a252 /litmus
parent5bed8758a3a7c971b71e3698158ae58598fafe5b (diff)
Better bug ons
Diffstat (limited to 'litmus')
-rw-r--r--litmus/sched_edf_hsb.c2
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 */
172static inline int head_in_list(struct list_head *head) 172static 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)) {