# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1614118961 -3600
# Node ID 109fe3d6d1e848f3997d5c4a0878b8fce8116ab8
# Parent  99cd143d2e9788bff20d79bef4d52eca486cfd25
Reordered capability freeing and dataspace detachment to avoid apparent issues
with regions appearing at previously used addresses. Another required measure
seems to involve the use of l4re_rm_detach_unmap in libipc when detaching
dataspaces.

diff -r 99cd143d2e97 -r 109fe3d6d1e8 dstest_test_client.cc
--- a/dstest_test_client.cc	Tue Feb 23 22:55:36 2021 +0100
+++ b/dstest_test_client.cc	Tue Feb 23 23:22:41 2021 +0100
@@ -137,8 +137,8 @@
     }
   }
 
+  ipc_cap_free_um(file_ref);
   ipc_detach_dataspace(memory);
-  ipc_cap_free_um(file_ref);
 
   return L4_EOK;
 }
@@ -240,8 +240,8 @@
 
   /* Discard the context. */
 
+  ipc_cap_free_um(context_ref);
   ipc_detach_dataspace(filename);
-  ipc_cap_free_um(context_ref);
 
   printf("End: %ld\n", fileid);
   return L4_EOK;