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=19becec31c5704572a3575336c57364d72fd572b;hp=19becec31c5704572a3575336c57364d72fd572b;p=pintos-anon Remove prototypes for removed functions power_off(), reboot(). ---