base: avoid deadlock and page fault

Fixes #3830
2026-01-21 12:32:56 +01:00 · 2020-07-24 13:12:02 +02:00
parent de7d4a5523
commit 60106ac2c8
3 changed files with 37 additions and 18 deletions
--- a/repos/base/include/timer/timeout.h
+++ b/repos/base/include/timer/timeout.h
@@ -171,7 +171,8 @@ class Genode::Timeout : private Noncopyable

 				Mutex                    _dispatch_mutex { };
 				Raw                      _raw            { };
-				int                      _active         { 0 };
+				short                    _active         { 0 };
+				bool                     _delete         { false };
 				Alarm                   *_next           { nullptr };
 				Alarm_timeout_scheduler *_scheduler      { nullptr };