projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8334a87) | 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)
commit253a082737f2cb56bbbef10263c5600eda1c4645
tree03eaf526659691ef9bfd8e99dbdafcc099ae90b1tree | snapshot
parent8334a8754dff78f83676742beb52c32d4cd8661ecommit | 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