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)
commit9dda658ddc5ada7718cbb6855ad8b0b64ed92ec6
tree48429dcfe8f8b5fcd155454ce2f1beb1c100576f
parent742df3e60c19b87c5c46fae0403d36622bace203
Call serial_flush() in power_off().
src/threads/init.c