(io_identity): Server passes back st_dev and st_ino values too.

1 files changed, 3 insertions, 4 deletions

diff --git a/hurd/io.defs b/hurd/io.defs
index 5bc8e2b1..1d9319d5 100644
--- a/hurd/io.defs
+++ b/hurd/io.defs
@@ -308,12 +308,11 @@ routine io_pathconf (
 
 /* Return the identity port for the object underlying IO_OBJECT.
    Different I/O ports for the same object all have the same identity
-   port.  FILENO is the file serial number that appears in the `d_fileno'
-   field of containing directory entries in the containing filesystem, the
-   same as the `st_ino' value returned by io_stat for this object.  */
+   port.  DEV and FILENO are the same values returned by io_stat for
+   `st_dev' and `st_ino'.  */
 routine io_identity (
 	io_object: io_t;
 	RPT
 	out idport: mach_port_send_t;
-	out fileno: int);
+	out dev, out fileno: int);