From e00bd3e45bb8a5019cf2d50fdbfe2da419fd37fe Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Fri, 26 May 2017 15:40:30 +0200 Subject: [PATCH] core: remove PD capability from thread object --- repos/base/src/core/include/cpu_thread_component.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/repos/base/src/core/include/cpu_thread_component.h b/repos/base/src/core/include/cpu_thread_component.h index 9703f0107..a86d097ff 100644 --- a/repos/base/src/core/include/cpu_thread_component.h +++ b/repos/base/src/core/include/cpu_thread_component.h @@ -43,7 +43,6 @@ class Genode::Cpu_thread_component : public Rpc_object, Rpc_entrypoint &_ep; Pager_entrypoint &_pager_ep; - Capability _pd; Region_map_component &_address_space_region_map; Cpu_session::Weight const _weight; Session_label const _session_label; @@ -138,7 +137,7 @@ class Genode::Cpu_thread_component : public Rpc_object, unsigned priority, addr_t utcb) : - _ep(ep), _pager_ep(pager_ep), _pd(pd.cap()), + _ep(ep), _pager_ep(pager_ep), _address_space_region_map(pd.address_space_region_map()), _weight(weight), _session_label(label), _name(name), @@ -202,8 +201,6 @@ class Genode::Cpu_thread_component : public Rpc_object, */ void session_exception_sigh(Signal_context_capability); - Capability pd() const { return _pd; } - void quota(size_t); /*