mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
parent
d86bf3db64
commit
e5ea660e2e
@ -42,10 +42,13 @@ Platform_thread::~Platform_thread()
|
||||
{
|
||||
/* detach UTCB */
|
||||
if (!_attaches_utcb_by_itself()) {
|
||||
assert(_rm_client);
|
||||
|
||||
/* the RM client may be destructed before platform thread */
|
||||
if (_rm_client) {
|
||||
Rm_session_component * const rm = _rm_client->member_rm_session();
|
||||
rm->detach(_virt_utcb);
|
||||
}
|
||||
}
|
||||
/* free UTCB */
|
||||
if (_pd_id == Kernel::core_id()) {
|
||||
Range_allocator * const ram = platform()->ram_alloc();
|
||||
|
Loading…
Reference in New Issue
Block a user