Index: sys/kern/kern_shutdown.c
===================================================================
--- sys/kern/kern_shutdown.c	(revisione 235338)
+++ sys/kern/kern_shutdown.c	(copia locale)
@@ -448,12 +448,14 @@ kern_reboot(int howto)
 	 * Ok, now do things that assume all filesystem activity has
 	 * been completed.
 	 */
+	printf("Checkpoint 1\n");
 	EVENTHANDLER_INVOKE(shutdown_post_sync, howto);
 
 	if ((howto & (RB_HALT|RB_DUMP)) == RB_DUMP && !cold && !dumping) 
 		doadump(TRUE);
 
 	/* Now that we're going to really halt the system... */
+	printf("Checkpoint 2\n");
 	EVENTHANDLER_INVOKE(shutdown_final, howto);
 
 	for(;;) ;	/* safety against shutdown_reset not working */