base: remove env_deprecated from rpc_cap_alloc

Issue #4784
2025-06-22 16:59:03 +00:00 · 2023-03-10 14:09:14 +01:00
parent 223e185b83
commit 441186468c
9 changed files with 81 additions and 21 deletions
--- a/repos/base-linux/src/core/core_rpc_cap_alloc.cc
+++ b/repos/base-linux/src/core/core_rpc_cap_alloc.cc
@ -16,11 +16,12 @@

 /* base-internal includes */
 #include <base/internal/native_thread.h>
+#include <base/internal/globals.h>

-/* core includes */
-#include <types.h>
+using namespace Genode;

-using namespace Core;
+
+void Genode::init_rpc_cap_alloc(Parent &) { }


 Native_capability Rpc_entrypoint::_alloc_rpc_cap(Pd_session &, Native_capability,