mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
parent
328a4fa644
commit
c1d99630c2
@ -418,6 +418,7 @@ void Alarm_timeout_scheduler::_alarm_discard(Alarm *alarm)
|
||||
|
||||
/* get anyone using this out of '_alarm_get_pending_alarm'() finally */
|
||||
Mutex::Guard alarm_guard(alarm->_dispatch_mutex);
|
||||
alarm->_delete = false;
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user