From 4d228e22cb2a96167ecb6cabb7ecf615b3880dde Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Thu, 6 Sep 2018 21:10:47 +0200 Subject: [PATCH] core: destruct pd::_ram_quota after regions Fixes #2966 --- repos/base/src/core/include/pd_session_component.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/repos/base/src/core/include/pd_session_component.h b/repos/base/src/core/include/pd_session_component.h index 8c6e25943..deb186cb6 100644 --- a/repos/base/src/core/include/pd_session_component.h +++ b/repos/base/src/core/include/pd_session_component.h @@ -58,13 +58,13 @@ class Genode::Pd_session_component : public Session_object Constructible _pd { }; + Constructible > _cap_account { }; + Constructible > _ram_account { }; + Region_map_component _address_space; Region_map_component _stack_area; Region_map_component _linker_area; - Constructible > _cap_account { }; - Constructible > _ram_account { }; - friend class Native_pd_component;