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

Added topology service to Libc::Env.

Browse Source
This commit is contained in:
Michael Mueller
2022-10-13 16:08:57 +02:00
parent 4673f0354e
commit a81b3198ac
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/libports/src/lib/libc/internal/env.h
View File

@@ -98,6 +98,7 @@ class Libc::Env_implementation : public Libc::Env, public Config_accessor
Region_map &rm() override { return _env.rm(); } Region_map &rm() override { return _env.rm(); }
Pd_session &pd() override { return _env.pd(); } Pd_session &pd() override { return _env.pd(); }
Entrypoint &ep() override { return _env.ep(); } Entrypoint &ep() override { return _env.ep(); }
Topo_session &topo() override { return _env.topo(); }
Cpu_session_capability cpu_session_cap() override { Cpu_session_capability cpu_session_cap() override {
return _env.cpu_session_cap(); } return _env.cpu_session_cap(); }
@@ -108,6 +109,10 @@ class Libc::Env_implementation : public Libc::Env, public Config_accessor
Id_space<Parent::Client> &id_space() override { Id_space<Parent::Client> &id_space() override {
return _env.id_space(); } return _env.id_space(); }
Topo_session_capability topo_session_cap() override {
return _env.topo_session_cap();
}
Session_capability session(Parent::Service_name const &name, Session_capability session(Parent::Service_name const &name,
Parent::Client::Id id, Parent::Client::Id id,
Parent::Session_args const &args, Parent::Session_args const &args,