# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1654447847 -7200
# Node ID 6a681557d327e9274ddc8fb1b563c453e1b83a98
# Parent  a34ea5ec49f32814c36c93368462fb38304204cc
Changed the region parameter of the map operation to allow the receive window
to be specified.

diff -r a34ea5ec49f3 -r 6a681557d327 libsystypes/idl/dataspace.idl
--- a/libsystypes/idl/dataspace.idl	Sun Jun 05 18:49:51 2022 +0200
+++ b/libsystypes/idl/dataspace.idl	Sun Jun 05 18:50:47 2022 +0200
@@ -9,7 +9,7 @@
   /* Map memory within a dataspace. */
 
   [opcode(0)] void map(in offset_t offset, in address_t hot_spot,
-                       in map_flags_t flags, out fpage region);
+                       in map_flags_t flags, inout fpage region);
 
   /* Clear a dataspace. */