ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-21 16:39:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base: ease Platform_env::Resources

Browse Source 
It is unnecessary to remember session caps in a Resources object as the
contained connections can cast implicitely to the appropriate caps.

ref #989
This commit is contained in:
Martin Stein
2014-01-31 14:04:04 +01:00
committed by Norman Feske
parent 0b64328944
commit 9c1563be67
1 changed files with 14 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
base/src/base/env/platform_env.h vendored
View File

@ -96,21 +96,22 @@ class Genode::Platform_env : public Genode::Env, public Emergency_ram_reserve
struct Resources struct Resources
{ {
template <typename T> template <typename T>
Capability<T> request(Parent &parent, char const *service) { Capability<T> request(Parent &parent, char const *service)
return static_cap_cast<T>(parent.session(service, "")); } {
return static_cap_cast<T>(parent.session(service, ""));
}
Ram_session_capability ram_cap; Expanding_ram_session_client ram;
Expanding_ram_session_client ram = { ram_cap }; Expanding_cpu_session_client cpu;
Cpu_session_capability cpu_cap;
Expanding_cpu_session_client cpu = { cpu_cap };
Expanding_rm_session_client rm; Expanding_rm_session_client rm;
Pd_session_client pd; Pd_session_client pd;
Resources(Parent &parent) : Resources(Parent &parent)
ram_cap(request<Ram_session>(parent, "Env::ram_session")), :
cpu_cap(request<Cpu_session>(parent, "Env::cpu_session")), ram(request<Ram_session>(parent, "Env::ram_session")),
rm (request<Rm_session> (parent, "Env::rm_session")), cpu(request<Cpu_session>(parent, "Env::cpu_session")),
pd (request<Pd_session> (parent, "Env::pd_session")) rm (request<Rm_session> (parent, "Env::rm_session")),
pd (request<Pd_session> (parent, "Env::pd_session"))
{ } { }
}; };
@ -184,9 +185,9 @@ class Genode::Platform_env : public Genode::Env, public Emergency_ram_reserve
Parent *parent() { return &_parent_client; } Parent *parent() { return &_parent_client; }
Ram_session *ram_session() { return &_resources.ram; } Ram_session *ram_session() { return &_resources.ram; }
Ram_session_capability ram_session_cap() { return _resources.ram_cap; } Ram_session_capability ram_session_cap() { return _resources.ram; }
Cpu_session *cpu_session() { return &_resources.cpu; } Cpu_session *cpu_session() { return &_resources.cpu; }
Cpu_session_capability cpu_session_cap() { return _resources.cpu_cap; } Cpu_session_capability cpu_session_cap() { return _resources.cpu; }
Rm_session *rm_session() { return &_resources.rm; } Rm_session *rm_session() { return &_resources.rm; }
Pd_session *pd_session() { return &_resources.pd; } Pd_session *pd_session() { return &_resources.pd; }
Allocator *heap() { return &_heap; } Allocator *heap() { return &_heap; }