diff --git a/repos/base/src/core/include/cpu_thread_component.h b/repos/base/src/core/include/cpu_thread_component.h index 9703f01072..a86d097ff3 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); /*