projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53641f9) | patch
Mark shutdown_reboot() and shutdown_power_off() as NO_RETURN.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Nov 2008 23:40:18 +0000 (15:40 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Nov 2008 23:40:18 +0000 (15:40 -0800)
commit9a4067dc5bd3d810ce4b1d9dd8ba394dee4c247b
treefbb7efc13bd0564da44a234abadd8b483bd78e51tree | snapshot
parent53641f9bb07aa127b2b5e402e28b7421ce8a7f3bcommit | diff
Mark shutdown_reboot() and shutdown_power_off() as NO_RETURN.

Also, make shutdown_reboot() actually behave that way, by trying to reboot
forever instead of giving up after some number of tries.
src/devices/shutdown.c diff | blob | history
src/devices/shutdown.h diff | blob | history
Pintos public repository