# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1663261030 -7200
# Node ID 89499867ceb9239febe0daec79ac57b8ce446e32
# Parent  be0b22f08a85b301d828dcd1b8fa03881f4a8bc5
Attempt to handle narrower opcodes for factory operations.

diff -r be0b22f08a85 -r 89499867ceb9 libsystypes/idl/filesystem_factory.idl
--- a/libsystypes/idl/filesystem_factory.idl	Thu Sep 15 18:51:36 2022 +0200
+++ b/libsystypes/idl/filesystem_factory.idl	Thu Sep 15 18:57:10 2022 +0200
@@ -8,8 +8,9 @@
 {
   /* Obtain filesystem access for the given user details. */
 
-  [opcode(6)] void open_for_user(in ipc_varg_sys_uid_t uid,
-                                 in ipc_varg_sys_gid_t gid,
-                                 in ipc_varg_sys_mode_t umask,
-                                 out cap opener);
+  [opcode(6),opcode_type(l4_umword_t)]
+  void open_for_user(in ipc_varg_sys_uid_t uid,
+                     in ipc_varg_sys_gid_t gid,
+                     in ipc_varg_sys_mode_t umask,
+                     out cap opener);
 };