diff options
| author | Jason Wessel <jason.wessel@windriver.com> | 2008-02-15 14:55:54 -0600 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2008-04-17 20:05:38 +0200 |
| commit | 7c3078b637882303b1dcf6a16229d0e35f6b60a5 (patch) | |
| tree | 4b1456f81627056eff8750e42481c0b00ac84cf0 /include/linux/clocksource.h | |
| parent | d359752407f8916c29ad53a5c30ac73e338f2797 (diff) | |
kgdb: clocksource watchdog
In order to not trip the clocksource watchdog, kgdb must touch the
clocksource watchdog on the return to normal system run state.
Signed-off-by: Jason Wessel <jason.wessel@windriver.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'include/linux/clocksource.h')
| -rw-r--r-- | include/linux/clocksource.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/linux/clocksource.h b/include/linux/clocksource.h index 85778a4b120..35094479ca5 100644 --- a/include/linux/clocksource.h +++ b/include/linux/clocksource.h @@ -216,6 +216,7 @@ static inline void clocksource_calculate_interval(struct clocksource *c, /* used to install a new clocksource */ extern int clocksource_register(struct clocksource*); extern void clocksource_unregister(struct clocksource*); +extern void clocksource_touch_watchdog(void); extern struct clocksource* clocksource_get_next(void); extern void clocksource_change_rating(struct clocksource *cs, int rating); extern void clocksource_resume(void); |