diff --git a/repos/libports/src/lib/libc/libc_mmap_registry.h b/repos/libports/src/lib/libc/libc_mmap_registry.h
index 5ddee1d279..81339e30ad 100644
--- a/repos/libports/src/lib/libc/libc_mmap_registry.h
+++ b/repos/libports/src/lib/libc/libc_mmap_registry.h
@@ -11,9 +11,7 @@
#include
#include
#include
-
-/* Genode libc includes */
-#include
+#include
/* libc-internal includes */
#include
@@ -47,6 +45,8 @@ class Libc::Mmap_registry
private:
+ Libc::Allocator _md_alloc;
+
Genode::List _list;
Genode::Lock mutable _lock;
@@ -86,7 +86,7 @@ class Libc::Mmap_registry
return;
}
- _list.insert(new (Genode::env()->heap()) Entry(start, plugin));
+ _list.insert(new (&_md_alloc) Entry(start, plugin));
}
Plugin *lookup_plugin_by_addr(void *start) const
@@ -117,7 +117,7 @@ class Libc::Mmap_registry
}
_list.remove(e);
- destroy(Genode::env()->heap(), e);
+ destroy(&_md_alloc, e);
}
};