devices: Fixed periodic interrupts to work with draining
authorBrad Beckmann <Brad.Beckmann@amd.com>
Fri, 20 Aug 2010 18:46:13 +0000 (11:46 -0700)
committerBrad Beckmann <Brad.Beckmann@amd.com>
Fri, 20 Aug 2010 18:46:13 +0000 (11:46 -0700)
commit283be34a992401f07d62e274d501c4185fca8377
tree14b04337496b5addb3d65a0eef627709fd954150
parentb6d08e0455a9256a157d683eb31c7af541c30ce9
devices: Fixed periodic interrupts to work with draining

Added drain functions to the RTC and 8254 timer so that periodic interrupts
stop when the system is draining.  This patch is needed to checkpoint in
timing mode.  Otherwise under certain situations, the event queue will never
be completely empty.
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