parent
10aba44982
commit
9cd85ddcf7
|
@ -180,6 +180,11 @@ class Genode::Platform_pd : public Hw::Address_space,
|
||||||
*/
|
*/
|
||||||
Platform_pd(Allocator * md_alloc, char const *label);
|
Platform_pd(Allocator * md_alloc, char const *label);
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Destructor
|
||||||
|
*/
|
||||||
|
~Platform_pd();
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Bind thread 't' to protection domain
|
* Bind thread 't' to protection domain
|
||||||
*
|
*
|
||||||
|
|
|
@ -167,6 +167,12 @@ Platform_pd::Platform_pd(Allocator * md_alloc, char const *label)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Platform_pd::~Platform_pd()
|
||||||
|
{
|
||||||
|
/* invalidate weak pointers to this object */
|
||||||
|
Address_space::lock_for_destruction();
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*************************************
|
/*************************************
|
||||||
** Core_platform_pd implementation **
|
** Core_platform_pd implementation **
|
||||||
|
|
Loading…
Reference in New Issue
Block a user