devices: undo cset 017baf09599f that added timer drain functions.
authorSteve Reinhardt <steve.reinhardt@amd.com>
Fri, 17 Sep 2010 03:24:05 +0000 (20:24 -0700)
committerSteve Reinhardt <steve.reinhardt@amd.com>
Fri, 17 Sep 2010 03:24:05 +0000 (20:24 -0700)
commit3f9f4bf3d6ce9080adb03966599e0f1a98b091eb
tree31c4b767f6d06cfcbfbd8ea6d8155b8efc6894b3
parent2dd9f4fcf02c68eb86a6742576eecb3eef3b9ddf
devices: undo cset 017baf09599f that added timer drain functions.
It's not the right fix for the checkpoint deadlock problem
Brad was having, and creates another bug where the system can
deadlock on restore.  Brad can't reproduce the original bug
right now, so we'll wait until it arises again and then try
to fix it the right way then.
src/dev/alpha/tsunami_io.cc
src/dev/alpha/tsunami_io.hh
src/dev/intel_8254_timer.cc
src/dev/intel_8254_timer.hh
src/dev/mc146818.cc
src/dev/mc146818.hh