mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
parent
419a48aa06
commit
a38ec2854a
@ -230,9 +230,13 @@ void Signal_receiver::dissolve(Signal_context *context)
|
|||||||
if (context->_receiver != this)
|
if (context->_receiver != this)
|
||||||
throw Context_not_associated();
|
throw Context_not_associated();
|
||||||
|
|
||||||
Lock::Guard contexts_lock_guard(_contexts_lock);
|
{
|
||||||
|
Lock::Guard contexts_lock_guard(_contexts_lock);
|
||||||
|
|
||||||
_unsynchronized_dissolve(context);
|
Lock::Guard context_lock_guard(context->_lock);
|
||||||
|
|
||||||
|
_unsynchronized_dissolve(context);
|
||||||
|
}
|
||||||
|
|
||||||
Lock::Guard context_destroy_lock_guard(context->_destroy_lock);
|
Lock::Guard context_destroy_lock_guard(context->_destroy_lock);
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user