reorganize file structure to match the upstream requirements

1 files changed, 0 insertions, 19 deletions

diff --git a/pintos-progos/devices/shutdown.h b/pintos-progos/devices/shutdown.h
deleted file mode 100644
index dc4f942..0000000
--- a/pintos-progos/devices/shutdown.h
+++ /dev/null
@@ -1,19 +0,0 @@
-#ifndef DEVICES_SHUTDOWN_H
-#define DEVICES_SHUTDOWN_H
-
-#include <debug.h>
-
-/* How to shut down when Pintos has nothing left to do. */
-enum shutdown_type
-  {
-    SHUTDOWN_NONE,              /* Loop forever. */
-    SHUTDOWN_POWER_OFF,         /* Power off the machine (if possible). */
-    SHUTDOWN_REBOOT,            /* Reboot the machine (if possible). */
-  };
-
-void shutdown (void);
-void shutdown_configure (enum shutdown_type);
-void shutdown_reboot (void) NO_RETURN;
-void shutdown_power_off (void) NO_RETURN;
-
-#endif /* devices/shutdown.h */