denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Destroy cell object when PD is destroyed.

Browse Source
This commit is contained in:
Michael Mueller
2025-04-17 15:43:38 +02:00
parent cbdbdf16ba
commit 45079145aa
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-tukija/src/core/platform_pd.cc
View File

@@ -52,15 +52,16 @@ Platform_pd::Platform_pd(Allocator &, char const *label, signed, bool)
Platform_pd::~Platform_pd()
{
log("Destroying PD for <", _label, ">");
if (_pd_sel == Native_thread::INVALID_INDEX)
return;
/* Revoke and free cap, pd is gone */
Tukija::pd_destroy(_pd_sel);
Tukija::revoke(Tukija::Obj_crd(_pd_sel, 0));
cap_map().remove(_pd_sel, 0, false);
}
void Platform_pd::flush(addr_t remote_virt, size_t size, Core_local_addr)
{
Tukija::Rights const revoke_rwx(true, true, true);