From 281785f6bd9a7f60dfa3c25af47ff1d2fa27a92c Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 13 Sep 2022 14:26:08 +0200 Subject: [PATCH] platform API: make MMIO dataspace cap accessible In case of the GPU multiplexer, we need to delegate MMIO memory to the framebuffer client in form of a managed dataspace. To be able to attach a given Platform::Device::Mmio object to a region map we need to access its capability. Ref genodelabs/genode#4578 --- repos/os/include/platform_session/device.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/repos/os/include/platform_session/device.h b/repos/os/include/platform_session/device.h index 736fc5ceeb..a320ffb070 100644 --- a/repos/os/include/platform_session/device.h +++ b/repos/os/include/platform_session/device.h @@ -117,6 +117,8 @@ class Platform::Device::Mmio : Range, Attached_dataspace, public Genode::Mmio template T *local_addr() { return reinterpret_cast(_local_addr()); } + + Dataspace_capability cap() { return Attached_dataspace::cap(); } };