1.1 --- a/libsystypes/idl/filesystem_factory.idl Thu Sep 15 18:51:36 2022 +0200
1.2 +++ b/libsystypes/idl/filesystem_factory.idl Thu Sep 15 18:57:10 2022 +0200
1.3 @@ -8,8 +8,9 @@
1.4 {
1.5 /* Obtain filesystem access for the given user details. */
1.6
1.7 - [opcode(6)] void open_for_user(in ipc_varg_sys_uid_t uid,
1.8 - in ipc_varg_sys_gid_t gid,
1.9 - in ipc_varg_sys_mode_t umask,
1.10 - out cap opener);
1.11 + [opcode(6),opcode_type(l4_umword_t)]
1.12 + void open_for_user(in ipc_varg_sys_uid_t uid,
1.13 + in ipc_varg_sys_gid_t gid,
1.14 + in ipc_varg_sys_mode_t umask,
1.15 + out cap opener);
1.16 };