diff options
| author | Ed Maste <emaste@FreeBSD.org> | 2007-05-28 21:50:54 +0000 |
|---|---|---|
| committer | Ed Maste <emaste@FreeBSD.org> | 2007-05-28 21:50:54 +0000 |
| commit | 911d16b8cd81203a41dc774a98332b5dc10eafd0 (patch) | |
| tree | a3598a160d9facc30bcea9b29a1ad32091a655a5 /sys/kern/kern_clock.c | |
| parent | 66ab5560977c8e559da458da604445e26943a032 (diff) | |
Notes
Diffstat (limited to 'sys/kern/kern_clock.c')
| -rw-r--r-- | sys/kern/kern_clock.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/sys/kern/kern_clock.c b/sys/kern/kern_clock.c index aa5839b99966..ac404dc1d5fc 100644 --- a/sys/kern/kern_clock.c +++ b/sys/kern/kern_clock.c @@ -37,6 +37,7 @@ #include <sys/cdefs.h> __FBSDID("$FreeBSD$"); +#include "opt_kdb.h" #include "opt_device_polling.h" #include "opt_hwpmc_hooks.h" #include "opt_ntp.h" @@ -555,7 +556,7 @@ watchdog_config(void *unused __unused, u_int cmd, int *error) /* * Handle a watchdog timeout by dumping interrupt information and - * then panicking. + * then either dropping to DDB or panicking. */ static void watchdog_fire(void) @@ -578,7 +579,13 @@ watchdog_fire(void) inttotal += *curintr++; } printf("Total %20ju\n", (uintmax_t)inttotal); + +#if defined(KDB) && !defined(KDB_UNATTENDED) + kdb_backtrace(); + kdb_enter("watchdog timeout"); +#else panic("watchdog timeout"); +#endif } #endif /* SW_WATCHDOG */ |