#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"
{
/* Reboot if Ctrl+Alt+Del pressed. */
if (c == 0177 && ctrl && alt)
- reboot ();
+ shutdown_reboot ();
/* Handle Ctrl, Shift.
Note that Ctrl overrides Shift. */