ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-05 13:34:11 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixup "base: split Pd_account from Pd_session" (monitor)

Browse Source
This commit is contained in:
Norman Feske 2024-12-18 13:52:14 +01:00
parent 44860e89be
commit 6578639bb9
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
repos/os/src/monitor/monitored_pd.h
View File

@ -44,21 +44,21 @@ struct Monitor::Monitored_pd_session : Monitored_rpc_object<Pd_session>
** Pd_session interface ** ** Pd_session interface **
**************************/ **************************/
Ref_account_result ref_account(Capability<Pd_session> pd_cap) override Ref_account_result ref_account(Capability<Pd_account> ref) override
{ {
Ref_account_result result = Ref_account_result::INVALID_SESSION; Ref_account_result result = Ref_account_result::INVALID_SESSION;
_with_pd_arg(pd_cap, _with_pd_arg(static_cap_cast<Pd_session>(ref),
[&] (Monitored_pd_session &pd) { [&] (Monitored_pd_session &pd) {
result = _real.call<Rpc_ref_account>(pd._real); }, result = _real.call<Rpc_ref_account>(pd._real); },
[&] { [&] {
result = _real.call<Rpc_ref_account>(pd_cap); }); result = _real.call<Rpc_ref_account>(ref); });
return result; return result;
} }
Transfer_cap_quota_result transfer_quota(Capability<Pd_account> to, Transfer_result transfer_quota(Capability<Pd_account> to,
Cap_quota amount) override Cap_quota amount) override
{ {
Transfer_cap_quota_result result = Transfer_cap_quota_result::INVALID_SESSION; Transfer_result result = Transfer_result::INVALID;
_with_pd_arg(static_cap_cast<Pd_session>(to), _with_pd_arg(static_cap_cast<Pd_session>(to),
[&] (Monitored_pd_session &pd) { [&] (Monitored_pd_session &pd) {
result = _real.call<Rpc_transfer_cap_quota>(pd._real, amount); }, result = _real.call<Rpc_transfer_cap_quota>(pd._real, amount); },
@ -67,10 +67,10 @@ struct Monitor::Monitored_pd_session : Monitored_rpc_object<Pd_session>
return result; return result;
} }
Transfer_ram_quota_result transfer_quota(Capability<Pd_account> to, Transfer_result transfer_quota(Capability<Pd_account> to,
Ram_quota amount) override Ram_quota amount) override
{ {
Transfer_ram_quota_result result = Transfer_ram_quota_result::INVALID_SESSION; Transfer_result result = Transfer_result::INVALID;
_with_pd_arg(static_cap_cast<Pd_session>(to), _with_pd_arg(static_cap_cast<Pd_session>(to),
[&] (Monitored_pd_session &pd) { [&] (Monitored_pd_session &pd) {
result = _real.call<Rpc_transfer_ram_quota>(pd._real, amount); }, result = _real.call<Rpc_transfer_ram_quota>(pd._real, amount); },