Swap names of power_off and do_power_off().
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Sep 2004 04:28:44 +0000 (04:28 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Sep 2004 04:28:44 +0000 (04:28 +0000)
commita258f34101def6ad8781b273c1603bb8c7091077
tree6b28e68ce30950ff2c2746303a04846c8776d3c5
parent75663d9273af881a832699bfab6575ec1507761e
Swap names of power_off and do_power_off().
Put now-power_off() into init.h
src/threads/init.c
src/threads/init.h