aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
diff options
context:
space:
mode:
authorAndrea Bastoni <bastoni@cs.unc.edu>2010-09-28 21:29:46 -0400
committerAndrea Bastoni <bastoni@cs.unc.edu>2010-09-28 21:29:46 -0400
commit0cfb2081c8ff1416d703bbc60465a5fab886fc58 (patch)
tree93e526bb9acef639e576341fa8e37ae309e67513 /kernel
parent5c09863efe4a9d862b72d875abefb71c77c0f1b8 (diff)
parent46fe457792f9debcd3379abffe2b30933c085041 (diff)
Merge branch 'wip-semi-part' of ssh://cvs/cvs/proj/litmus/repo/litmus2010 into wip-semi-partarchived-semi-part
Diffstat (limited to 'kernel')
-rw-r--r--kernel/hrtimer.c3
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 @@
47#include <linux/timer.h> 47#include <linux/timer.h>
48 48
49#include <litmus/litmus.h> 49#include <litmus/litmus.h>
50#include <litmus/trace.h>
50 51
51#include <asm/uaccess.h> 52#include <asm/uaccess.h>
52 53
@@ -1063,6 +1064,7 @@ void hrtimer_pull(void)
1063 struct hrtimer_start_on_info *info; 1064 struct hrtimer_start_on_info *info;
1064 struct list_head *pos, *safe, list; 1065 struct list_head *pos, *safe, list;
1065 1066
1067 TS_PULL_TIMER_START;
1066 raw_spin_lock(&base->lock); 1068 raw_spin_lock(&base->lock);
1067 list_replace_init(&base->to_pull, &list); 1069 list_replace_init(&base->to_pull, &list);
1068 raw_spin_unlock(&base->lock); 1070 raw_spin_unlock(&base->lock);
@@ -1073,6 +1075,7 @@ void hrtimer_pull(void)
1073 list_del(pos); 1075 list_del(pos);
1074 hrtimer_start(info->timer, info->time, info->mode); 1076 hrtimer_start(info->timer, info->time, info->mode);
1075 } 1077 }
1078 TS_PULL_TIMER_END;
1076} 1079}
1077 1080
1078/** 1081/**