From 3780fc858bfa19f0aac6df1e14dc455a2d7d4758 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Axel=20D=C3=B6rfler?= <axeld@pinc-software.de>
Date: Fri, 19 Nov 2004 20:15:13 +0000
Subject: [PATCH] Now uses new shutdown() function instead of reboot()
 directly.

git-svn-id: file:///srv/svn/repos/haiku/trunk/current@10042 a95241bf-73f2-0310-859d-f6bbb57e9c96
---
 src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c b/src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c
index 970bccfadb..920165d188 100644
--- a/src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c
+++ b/src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c
@@ -8,6 +8,7 @@
 #include <Drivers.h>
 #include <OS.h>
 #include <drivers/ISA.h>
+#include <kernel.h>
 
 #include <string.h>
 #include <lock.h>
@@ -206,7 +207,7 @@ handle_keyboard_interrupt(void *data)
 			break;
 #endif
 		case F12:
-			reboot();
+			shutdown(true);
 			break;
 
 		case HOME: