Move reboot() and power_off() to new file, and rename to fit convention.

[pintos-anon] / src / devices / kbd.c

diff --git a/src/devices/kbd.c b/src/devices/kbd.c
index 1aa71f5a3062c1888b3d3342d9a2d6675765b4e6..fcc82bed0680dee0a9b511b9284ec15b7b328b01 100644 (file)
--- a/src/devices/kbd.c
+++ b/src/devices/kbd.c
@@ -4,7 +4,7 @@
 #include <stdio.h>
 #include <string.h>
 #include "devices/input.h"
-#include "threads/init.h"
+#include "devices/shutdown.h"
 #include "threads/interrupt.h"
 #include "threads/io.h"
 
@@ -135,7 +135,7 @@ keyboard_interrupt (struct intr_frame *args UNUSED)
         {
           /* Reboot if Ctrl+Alt+Del pressed. */
           if (c == 0177 && ctrl && alt)
-            reboot ();
+            shutdown_reboot ();
 
           /* Handle Ctrl, Shift.
              Note that Ctrl overrides Shift. */