summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--hurd/fs.defs16
1 files changed, 8 insertions, 8 deletions
diff --git a/hurd/fs.defs b/hurd/fs.defs
index 46646d80..1ce77daa 100644
--- a/hurd/fs.defs
+++ b/hurd/fs.defs
@@ -38,15 +38,15 @@ INTR_INTERFACE
using exec_newtask or exec_loadtask as appropriate. */
routine file_exec (
exec_file: file_t;
- exec_task: task_t;
+ exec_task: mach_port_send_t;
flags: int;
- argv: data_t;
- envp: data_t;
- fdarray: portarray_t;
- portarray: portarray_t;
- intarray: intarray_t;
- deallocnames: mach_port_name_array_t;
- destroynames: mach_port_name_array_t);
+ argv: data_t, dealloc[];
+ envp: data_t, dealloc[];
+ fdarray: portarray_t, dealloc[];
+ portarray: portarray_t, dealloc[];
+ intarray: intarray_t, dealloc[];
+ deallocnames: mach_port_name_array_t, dealloc[];
+ destroynames: mach_port_name_array_t, dealloc[]);
/* Change owner and/or group */
routine file_chown (