From 45079145aa9ac7ac75053b9e711bd58d54af01c0 Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Thu, 17 Apr 2025 15:43:38 +0200 Subject: [PATCH] Destroy cell object when PD is destroyed. --- repos/base-tukija/src/core/platform_pd.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/repos/base-tukija/src/core/platform_pd.cc b/repos/base-tukija/src/core/platform_pd.cc index 421017d55b..3fc32e15df 100644 --- a/repos/base-tukija/src/core/platform_pd.cc +++ b/repos/base-tukija/src/core/platform_pd.cc @@ -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);