From c6d7f4a95b61ab9c749938cd39eeb2e010a12ccd Mon Sep 17 00:00:00 2001
From: OBattler <oubattler@gmail.com>
Date: Thu, 21 Jul 2022 19:51:34 +0200
Subject: [PATCH] Do not disable the timer in cpu_fast_off_reset() because the
 timers have already been reinitialized at this point.

---
 src/cpu/386_common.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/cpu/386_common.c b/src/cpu/386_common.c
index 546da2aa3..6c09e588a 100644
--- a/src/cpu/386_common.c
+++ b/src/cpu/386_common.c
@@ -1870,9 +1870,6 @@ cpu_fast_off_period_set(uint16_t val, double period)
 void
 cpu_fast_off_reset(void)
 {
-    if (cpu_fast_off_timer)
-	timer_disable(cpu_fast_off_timer);
-
     cpu_register_fast_off_handler(NULL);
     cpu_fast_off_period = 0.0;
     cpu_fast_off_advance();