projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9f0f28) | patch
Rename do_power_off to power_off_when_done.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 9 Dec 2004 19:50:39 +0000 (19:50 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 9 Dec 2004 19:50:39 +0000 (19:50 +0000)
commit937fd062e13d932444e5068d3d57e5a3a0c8707f
treef371709f62423abeaff45b25794f7b3b6fc4bdbdtree | snapshot
parentb9f0f2802c11a0ae6fa39fa846c37df25731ad3dcommit | diff
Rename do_power_off to power_off_when_done.
Only power off on kernel panic if power_off_when_done set.
src/lib/debug.c diff | blob | history
src/threads/init.c diff | blob | history
src/threads/init.h diff | blob | history
Pintos public repository