From 900c795df279bbfca8ca2f6e6450fbb80ba39abc Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 18 Jan 2016 14:45:14 +0100 Subject: [PATCH] os: add Attached_rom_dataspace::cap accessor The accessor works analogously to the Attached_dataspace. --- repos/os/include/os/attached_rom_dataspace.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/repos/os/include/os/attached_rom_dataspace.h b/repos/os/include/os/attached_rom_dataspace.h index 75fb01772..01d152049 100644 --- a/repos/os/include/os/attached_rom_dataspace.h +++ b/repos/os/include/os/attached_rom_dataspace.h @@ -69,6 +69,11 @@ class Genode::Attached_rom_dataspace Attached_rom_dataspace(char const *name) : _rom(name) { _try_attach(); } + /** + * Return capability of the used dataspace + */ + Dataspace_capability cap() const { return _ds->cap(); } + template T *local_addr() { return _ds->local_addr(); } size_t size() const { return _ds->size(); }