From: Igor Pavlikevich <ipavlikev...@gmail.com>
TCO timer does not actually stop
Signed-off-by: Igor Pavlikevich <ipavlikev...@gmail.com>
Signed-off-by: Michael Tokarev <m...@tls.msk.ru>
---
hw/acpi/tco.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/hw/acpi/tco.c b/hw/acpi/tco.c
index 8ce7daf..b4adac8 100644
--- a/hw/acpi/tco.c
+++ b/hw/acpi/tco.c
@@ -49,6 +49,7 @@ static inline void tco_timer_reload(TCOIORegs *tr)
static inline void tco_timer_stop(TCOIORegs *tr)
{
tr->expire_time = -1;
+ timer_del(tr->tco_timer);
}
static void tco_timer_expired(void *opaque)
--
2.1.4
