# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1715370696 -7200
# Node ID 741e547d349de663ebcd703459c3f4a4295da611
# Parent  5c24477f91bf754ef0397f5b4554db6faf9f981b
Fixed position parameter details in current_region.

diff -r 5c24477f91bf -r 741e547d349d libsystypes/idl/pipe.idl
--- a/libsystypes/idl/pipe.idl	Fri May 10 19:00:38 2024 +0200
+++ b/libsystypes/idl/pipe.idl	Fri May 10 21:51:36 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. */