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 | /** |
