detach ds from all rm sessions before destruction

Fixes #1617
2025-06-19 07:38:28 +00:00 · 2015-07-06 13:06:27 +02:00
parent bc8a5cbb2a
commit c42e770384
5 changed files with 19 additions and 6 deletions
--- a/repos/base-linux/src/core/include/dataspace_component.h
+++ b/repos/base-linux/src/core/include/dataspace_component.h
@ -98,6 +98,11 @@ namespace Genode {
 			 */
 			bool owner(Dataspace_owner * const o) const { return _owner == o; }

+			/**
+			 * Detach dataspace from all rm sessions.
+			 */
+			void detach_from_rm_sessions() { }
+
 			/*************************
 			 ** Dataspace interface **
 			 *************************/