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

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. */