1 files changed, 3 insertions, 0 deletions

diff --git a/kernel/hrtimer.c b/kernel/hrtimer.c
index fdf95968e517..23d3712012f4 100644
--- a/kernel/hrtimer.c
+++ b/kernel/hrtimer.c
@@ -47,6 +47,7 @@
 #include <linux/timer.h>
 
 #include <litmus/litmus.h>
+#include <litmus/trace.h>
 
 #include <asm/uaccess.h>
 
@@ -1063,6 +1064,7 @@ void hrtimer_pull(void)
         struct hrtimer_start_on_info *info;
         struct list_head *pos, *safe, list;
 
+        TS_PULL_TIMER_START;
         raw_spin_lock(&base->lock);
         list_replace_init(&base->to_pull, &list);
         raw_spin_unlock(&base->lock);
@@ -1073,6 +1075,7 @@ void hrtimer_pull(void)
                 list_del(pos);
                 hrtimer_start(info->timer, info->time, info->mode);
         }
+        TS_PULL_TIMER_END;
 }
 
 /**