Rename do_power_off to power_off_when_done.
[pintos-anon] / src / constants.h
2004-10-19 Ben PfaffAllow cpp to remove comments when producing kernel...
2004-10-19 Ben PfaffComments.
2004-09-22 Ben PfaffAdd THREAD_JOIN_IMPLEMENTED.
2004-09-16 Ben PfaffSkeleton for students to use.