diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-07 00:20:43 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-07 00:20:43 +0000 |
| commit | 9e765b3cc81c8e62b6d5a0a5bbf36140ecbcd4b1 (patch) | |
| tree | ec534b0e944e3ff7bde47105be7ddb21bca77310 | |
| parent | 6ec4bafafbee306387d5426376bfff405c338053 (diff) | |
(fsys_getpriv): Change types of returned ports to mach_port_send_t.
| -rw-r--r-- | hurd/fsys.defs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/hurd/fsys.defs b/hurd/fsys.defs index cd14d89f..26741dc5 100644 --- a/hurd/fsys.defs +++ b/hurd/fsys.defs @@ -90,9 +90,9 @@ routine fsys_set_options ( routine fsys_getpriv ( fsys: fsys_t; RPT - out host_priv: mach_port_t; - out device_master: mach_port_t; - out fstask: task_t); + out host_priv: mach_port_send_t; + out device_master: mach_port_send_t; + out fstask: mach_port_send_t); routine fsys_init ( fsys: fsys_t; |