diff options
| -rw-r--r-- | hurd/fs.defs | 16 |
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 ( |