X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fkbd.c;h=fcc82bed0680dee0a9b511b9284ec15b7b328b01;hb=94d17ee9287aec1c4c9ee37ca02615e8293a5f3a;hp=1aa71f5a3062c1888b3d3342d9a2d6675765b4e6;hpb=cc5c971c3cc498d528a2f74f4dc2f8e27a690311;p=pintos-anon

diff --git a/src/devices/kbd.c b/src/devices/kbd.c
index 1aa71f5..fcc82be 100644
--- 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. */