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 <typename T>
 		T *local_addr() { return reinterpret_cast<T *>(_local_addr()); }
+
+		Dataspace_capability cap() { return Attached_dataspace::cap(); }
 };