diff options
author | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-09-28 21:29:46 -0400 |
---|---|---|
committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-09-28 21:29:46 -0400 |
commit | 0cfb2081c8ff1416d703bbc60465a5fab886fc58 (patch) | |
tree | 93e526bb9acef639e576341fa8e37ae309e67513 /kernel | |
parent | 5c09863efe4a9d862b72d875abefb71c77c0f1b8 (diff) | |
parent | 46fe457792f9debcd3379abffe2b30933c085041 (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.c | 3 |
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 | /** |