From: Ben Pfaff Date: Sun, 9 Nov 2008 23:51:01 +0000 (-0800) Subject: Remove prototypes for removed functions power_off(), reboot(). X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=22cc49887252924d76b84e404833bee165c921d1;p=pintos-anon Remove prototypes for removed functions power_off(), reboot(). --- diff --git a/src/threads/init.h b/src/threads/init.h index f28303c..06cf71e 100644 --- a/src/threads/init.h +++ b/src/threads/init.h @@ -15,7 +15,4 @@ extern uint32_t *init_page_dir; /* -q: Power off when kernel tasks complete? */ extern bool power_off_when_done; -void power_off (void) NO_RETURN; -void reboot (void); - #endif /* threads/init.h */