ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

core: remove Rm_member from RM session component

Browse Source 
Rm_member does not fulfill a useful role, but makes understanding of
the RM session component more difficult.

Ref #956
This commit is contained in:
Stefan Kalkowski 2015-06-22 10:40:26 +02:00 committed by Christian Helmuth
parent 8abd70e6e7
commit 691df908aa
1 changed files with 10 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
repos/base/src/core/include/rm_session_component.h
View File

@ -162,31 +162,12 @@ namespace Genode {
* of threads (region-manager clients). This class represents the client's
* role as member of this address space.
*/
class Rm_member : public List<Rm_client>
{
private:
Rm_session_component *_rm_session;
public:
/**
* Constructor
*/
Rm_member(Rm_session_component *rm_session): _rm_session(rm_session) { }
/**
* Return region-manager session that the RM client is member of
*/
Rm_session_component *member_rm_session() { return _rm_session; }
};
class Rm_client : public Pager_object, public Rm_member, public Rm_faulter,
class Rm_client : public Pager_object, public Rm_faulter,
public List<Rm_client>::Element
{
private:
Rm_session_component *_rm_session;
Weak_ptr<Address_space> _address_space;
public:
@ -203,8 +184,9 @@ namespace Genode {
Weak_ptr<Address_space> &address_space,
Affinity::Location location)
:
Pager_object(badge, location), Rm_member(session),
Rm_faulter(this), _address_space(address_space) { }
Pager_object(badge, location), Rm_faulter(this),
_rm_session(session), _address_space(address_space)
{ }
int pager(Ipc_pager &pager);
@ -217,6 +199,11 @@ namespace Genode {
{
return other._address_space == _address_space;
}
/**
* Return region-manager session that the RM client is member of
*/
Rm_session_component *member_rm_session() { return _rm_session; }
};