diff options
| author | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-10-09 22:07:46 -0400 |
|---|---|---|
| committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-10-09 22:07:46 -0400 |
| commit | ba42974ea389f7f69800ddb39c7072f5252cbf98 (patch) | |
| tree | d6019bb43aeae579118260c354a5dcfed3d7df4c /litmus/rt_domain.c | |
| parent | bc92369ba24f72b916384ed80d4381549c6537a7 (diff) | |
Allow events to be cancelled when their list is processed
Diffstat (limited to 'litmus/rt_domain.c')
| -rw-r--r-- | litmus/rt_domain.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/litmus/rt_domain.c b/litmus/rt_domain.c index f242f33e990e..3355eb5a73be 100644 --- a/litmus/rt_domain.c +++ b/litmus/rt_domain.c | |||
| @@ -406,7 +406,7 @@ static void pd_requeue(domain_t *dom, struct task_struct *task) | |||
| 406 | rt_domain_t *domain = (rt_domain_t*)dom->data; | 406 | rt_domain_t *domain = (rt_domain_t*)dom->data; |
| 407 | 407 | ||
| 408 | BUG_ON(!task || !is_realtime(task)); | 408 | BUG_ON(!task || !is_realtime(task)); |
| 409 | TRACE_TASK(task, "Requeueing"); | 409 | TRACE_TASK(task, "Requeueing\n"); |
| 410 | BUG_ON(is_queued(task)); | 410 | BUG_ON(is_queued(task)); |
| 411 | BUG_ON(get_task_domain(task) != dom); | 411 | BUG_ON(get_task_domain(task) != dom); |
| 412 | 412 | ||