Swap names of power_off and do_power_off().
[pintos-anon] / src / tests / threads /
2004-09-17 Ben PfaffAdd threads tests.