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

platform API: make MMIO dataspace cap accessible

Browse Source 
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
This commit is contained in:
Stefan Kalkowski 2022-09-13 14:26:08 +02:00 committed by Christian Helmuth
parent c583446ade
commit 281785f6bd
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/include/platform_session/device.h
View File

@ -117,6 +117,8 @@ class Platform::Device::Mmio : Range, Attached_dataspace, public Genode::Mmio
template <typename T> template <typename T>
T *local_addr() { return reinterpret_cast<T *>(_local_addr()); } T *local_addr() { return reinterpret_cast<T *>(_local_addr()); }
Dataspace_capability cap() { return Attached_dataspace::cap(); }
}; };