# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1655674745 -7200
# Node ID a554dcf0fef86dfb4357e7dfdabb17c6da52af99
# Parent  346941e94fd40c99809d0ac6b9fcadeb5d939a8a
Restored the flexpage output parameter, requiring an updated idl program to
generate code to interpret this appropriately and specify the receive window
flexpage details.

diff -r 346941e94fd4 -r a554dcf0fef8 libsystypes/idl/dataspace.idl
--- a/libsystypes/idl/dataspace.idl	Sat Jun 18 22:31:17 2022 +0200
+++ b/libsystypes/idl/dataspace.idl	Sun Jun 19 23:39:05 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, inout fpage region);
+                       in map_flags_t flags, out fpage region);
 
   /* Clear a dataspace. */