LITMUS: provide more debug info

Added one message and improved another.

2 files changed, 3 insertions, 2 deletions

diff --git a/litmus/rt_domain.c b/litmus/rt_domain.c
index 47027b49bb..5df3100dfb 100644
--- a/litmus/rt_domain.c
+++ b/litmus/rt_domain.c
@@ -55,7 +55,7 @@ static void setup_job_release_timer(struct task_struct *task)
         /* Expiration time of timer is release time of task. */
         release_timer(task).expires = ns_to_ktime(get_release(task));
 
-        TRACE_TASK(task, "arming release timer rel=%llu at\n",
+        TRACE_TASK(task, "arming release timer rel=%llu at %llu\n",
                    get_release(task), litmus_clock());
 
         hrtimer_start(&release_timer(task), release_timer(task).expires,
diff --git a/litmus/sync.c b/litmus/sync.c
index aa88d7a2b3..7c6ff2f03f 100644
--- a/litmus/sync.c
+++ b/litmus/sync.c
@@ -40,7 +40,8 @@ static long do_release_ts(lt_t start)
 
 
         spin_lock_irqsave(&ts_release.wait.lock, flags);
-
+        TRACE("<<<<<< synchronous task system release >>>>>>\n");
+        
         list_for_each(pos, &ts_release.wait.task_list) {
                 t = (struct task_struct*) list_entry(pos,
                                                      struct __wait_queue,