38c38
< __FBSDID("$FreeBSD: head/sys/kern/kern_shutdown.c 174898 2007-12-25 17:52:02Z rwatson $");
---
> __FBSDID("$FreeBSD: head/sys/kern/kern_shutdown.c 174921 2007-12-26 11:32:33Z rwatson $");
39a40
> #include "opt_ddb.h"
66a68,69
> #include <ddb/ddb.h>
>
243c246,251
< dumpsys(&dumper);
---
> #ifdef DDB
> if (textdump_pending)
> textdump_dumpsys(&dumper);
> else
> #endif
> dumpsys(&dumper);