# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1715370704 -7200
# Node ID d9ea3cac8ace0dca5a7c9f46b085ee8659f3bd8d
# Parent  566e765389a1a477f8ac17845ea558ee0b5d08aa# Parent  741e547d349de663ebcd703459c3f4a4295da611
Merged changes from the default branch.

diff -r 566e765389a1 -r d9ea3cac8ace libsystypes/idl/pipe.idl
--- a/libsystypes/idl/pipe.idl	Fri May 10 19:21:48 2024 +0200
+++ b/libsystypes/idl/pipe.idl	Fri May 10 21:51:44 2024 +0200
@@ -6,7 +6,7 @@
 {
   /* Obtain details of the current region of shared memory. */
 
-  [opcode(16)] void current_region(inout offset_t position, out offset_t populated_size, out offset_t size);
+  [opcode(16)] void current_region(out offset_t position, out offset_t populated_size, out offset_t size);
 
   /* Advance to the next region of shared memory, indicating and obtaining the
      populated limit of the region and obtaining the region size. */