From 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 27 Mar 2012 11:51:08 +0200 Subject: reorganize file structure to match the upstream requirements --- pintos-progos/devices/shutdown.h | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 pintos-progos/devices/shutdown.h (limited to 'pintos-progos/devices/shutdown.h') 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 - -/* 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 */ -- cgit v1.2.3