Call serial_flush() in power_off().
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 21 Sep 2004 05:55:18 +0000 (05:55 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 21 Sep 2004 05:55:18 +0000 (05:55 +0000)
commitb4731555b30c891d6b833e6e270e9267458f5f44
tree1333580cbb9a86c74d1e77e3f2bab7e01c2016e4
parentc54f45a05ab22478c6314898ad500bc8767cab09
Call serial_flush() in power_off().
src/threads/init.c