Rename do_power_off to power_off_when_done.
[pintos-anon] / src / threads / start.S
2004-09-02 Ben PfaffMake linking of start.S less brittle.
2004-08-29 Ben PfaffAdjust indentation for .globl directives.
2004-08-16 Ben PfaffInitial revision