diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1993-11-23 03:59:47 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1993-11-23 03:59:47 +0000 |
| commit | a83ce8d91deca02f075a7be5a5f394d6b12e1852 (patch) | |
| tree | 3361cbaa5ad398af1feb20e44756abbda9d793a7 | |
| parent | 8d9042f725881ede944f6959f5152106e7188e3a (diff) | |
Formerly io.defs.~51~
| -rw-r--r-- | hurd/io.defs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/hurd/io.defs b/hurd/io.defs index d1b1eaca..5b7130cd 100644 --- a/hurd/io.defs +++ b/hurd/io.defs @@ -216,9 +216,9 @@ routine io_server_version ( io_write. */ routine io_map ( io_object: io_t; - out memobjxx: mach_port_move_send_t; - out memobjrd: mach_port_move_send_t; - out memobjwt: mach_port_move_send_t); + out memobjxx: mach_port_send_t; + out memobjrd: mach_port_send_t; + out memobjwt: mach_port_send_t); /* This call can only be made once per request port. If it returns POSIX_EBUSY, then the user should duplicate the port (using |