+@@ -175,8 +175,8 @@ static void hangcheck_fire(unsigned long
+
+ static int __init hangcheck_init(void)
+ {
+- printk("Hangcheck: starting hangcheck timer %s (tick is %d seconds, margin is %d seconds).\n",
+- VERSION_STR, hangcheck_tick, hangcheck_margin);
++ printk("Hangcheck: starting hangcheck timer %s (tick is %d seconds, margin is %d seconds, reboot is %d).\n",
++ VERSION_STR, hangcheck_tick, hangcheck_margin, hangcheck_reboot);
+ #if defined (HAVE_MONOTONIC)
+ printk("Hangcheck: Using monotonic_clock().\n");
+ #else