shutdown() is the main kernel shutdown function that also syncs disks, etc.

It cannot be called with interrupts off, and is likely to fail in the debugger;
arch_cpu_shutdown() reboots the machine directly which is what we want here.


git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@12225 a95241bf-73f2-0310-859d-f6bbb57e9c96

src/kernel/core/debug/debug.c

@@ -313,7 +313,7 @@ dbg_puts(const char *s)
 static int
 cmd_reboot(int argc, char **argv)
 {
-	shutdown(true);
+	arch_cpu_shutdown(true);
 	return 0;
 		// I'll be really suprised if this line ever runs! ;-)
 }