diff options
author | Miles Bader <miles@gnu.org> | 1997-01-20 21:35:39 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-01-20 21:35:39 +0000 |
commit | bd7a5add0c584ad4c8dea7861cba81ddc8ea79b0 (patch) | |
tree | 1d67f1f1bbcbf32e9bbcde24a7e2e620d02b8d72 | |
parent | 103714d181eb97c6fffeb77b0a7ad39ec99b5418 (diff) |
(dir_reparent): Make PARENT a mach_port_t, not a file_t, so that libraries
that do type translations of file_t won't get bogus arguments for ports in
other filesystems.
-rw-r--r-- | hurd/fs.defs | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/hurd/fs.defs b/hurd/fs.defs index b7dae433..9241de46 100644 --- a/hurd/fs.defs +++ b/hurd/fs.defs @@ -1,5 +1,5 @@ /* Definitions for the filesystem interface. - Copyright (C) 1994, 1995, 1996 Free Software Foundation + Copyright (C) 1994, 1995, 1996, 1997 Free Software Foundation This file is part of the GNU Hurd. @@ -339,3 +339,11 @@ routine file_get_fs_options ( file: file_t; RPT out options: data_t); + +/* Return a new directory port, NEW_DIR, with the same semantics as DIR, but + with lookups of `..' redirected to PARENT. */ +routine dir_reparent ( + dir: file_t; + RPT + parent: mach_port_t; + out new_dir: mach_port_send_t); |