ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base: init_env_ram_session -> init_env_pd_session 

The notion of a RAM session does not exist anymore. Hence, we have to
adjust the name of 'init_env_ram_session'. Since this change modifies
the ABI, it comes as separate commit.

Issue #2407
This commit is contained in:
Norman Feske 2019-01-30 17:14:33 +01:00
parent 22327b43ae
commit c629a92aa2
4 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base/include/base/child.h
View File

@ -701,9 +701,9 @@ class Genode::Child : protected Rpc_object<Parent>,
bool active() const { return _process.constructed(); }
/**
* Initialize the child's RAM session
* Initialize the child's PD session
*/
void initiate_env_ram_session();
void initiate_env_pd_session();
/**
* Trigger the routing and creation of the child's environment session

2
repos/base/lib/symbols/ld
View File

@ -255,7 +255,7 @@ _ZN6Genode5Child18close_all_sessionsEv T
_ZN6Genode5Child19deliver_session_capENS_8Id_spaceINS_6Parent6ServerEE2IdENS_10CapabilityINS_7SessionEEE T
_ZN6Genode5Child19resource_avail_sighENS_10CapabilityINS_14Signal_contextEEE T
_ZN6Genode5Child21initiate_env_sessionsEv T
_ZN6Genode5Child24initiate_env_ram_sessionEv T
_ZN6Genode5Child23initiate_env_pd_sessionEv T
_ZN6Genode5Child4exitEi T
_ZN6Genode5Child5closeENS_8Id_spaceINS_6Parent6ClientEE2IdE T
_ZN6Genode5Child5yieldERKNS_6StringILm160EEE T

4
repos/base/src/lib/base/child.cc
View File

@ -835,7 +835,7 @@ void Child::_discard_env_session(Id_space<Parent::Client>::Id id)
}
void Child::initiate_env_ram_session()
void Child::initiate_env_pd_session()
{
_pd.initiate();
_policy.init(_pd.session(), _pd.cap());
@ -965,7 +965,7 @@ Child::Child(Region_map &local_rm,
_policy(policy), _local_rm(local_rm), _parent_cap_guard(entrypoint, *this)
{
if (_policy.initiate_env_sessions()) {
initiate_env_ram_session();
initiate_env_pd_session();
initiate_env_sessions();
}
}

2
repos/os/src/init/child.h
View File

@ -494,7 +494,7 @@ class Init::Child : Child_policy, Routed_service::Wakeup
void initiate_env_pd_session()
{
if (_state == STATE_INITIAL) {
_child.initiate_env_ram_session();
_child.initiate_env_pd_session();
_state = STATE_RAM_INITIALIZED;
}
}