1.1 --- a/libmem/lib/src/memory_incremental.cc Tue Jun 25 13:53:18 2024 +0200
1.2 +++ b/libmem/lib/src/memory_incremental.cc Tue Jun 25 13:56:26 2024 +0200
1.3 @@ -24,6 +24,7 @@
1.4
1.5 #include "memory_incremental.h"
1.6
1.7 +#include <ipc/cap_alloc.h>
1.8 #include <ipc/mem_ipc.h>
1.9
1.10 #include <stdlib.h>
1.11 @@ -101,7 +102,13 @@
1.12
1.13 void MemoryIncremental::deallocate(Region *region)
1.14 {
1.15 - ipc_detach_dataspace((void *) region->start);
1.16 + l4_cap_idx_t cap;
1.17 +
1.18 + ipc_detach_dataspace((void *) region->start, &cap);
1.19 +
1.20 + if (l4_is_valid_cap(cap))
1.21 + ipc_cap_free_um(cap);
1.22 +
1.23 delete region;
1.24 }
1.25