diff options
author | Thomas Bushnell <thomas@gnu.org> | 1997-09-16 19:30:19 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1997-09-16 19:30:19 +0000 |
commit | 12deb7789c80390e1a5a3fa883c578876694ab4d (patch) | |
tree | 6ff7fcbeea002d3288f050ae1c4aba26434e9c17 /hurd/process.defs | |
parent | 6db123000f5bdbb2088b70a3e4f6f31d89c3e295 (diff) |
Tue Sep 16 15:24:37 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>
* process.defs: Delete proc_sethostid, proc_gethostid,
proc_sethostname, and proc_gethostname.
Diffstat (limited to 'hurd/process.defs')
-rw-r--r-- | hurd/process.defs | 28 |
1 files changed, 5 insertions, 23 deletions
diff --git a/hurd/process.defs b/hurd/process.defs index e21beb1f..6c171ac8 100644 --- a/hurd/process.defs +++ b/hurd/process.defs @@ -1,5 +1,5 @@ /* Definitions for process server interface - Copyright (C) 1992, 1993, 1994, 1995, 1996 Free Software Foundation + Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997 Free Software Foundation This file is part of the GNU Hurd. @@ -33,28 +33,10 @@ INTR_INTERFACE /*** Host management ***/ -/* Set the hostid for the machine. This should be unique among all - machines. By convention, it is the "primary" IP address of the - machine. */ -routine proc_sethostid ( - process: process_t; - hostid: int); - -/* Get the host id. */ -routine proc_gethostid ( - process: process_t; - out hostid: int); - -/* Set the hostname for the machine. By convention this is the DNS - FQDN for the machine. */ -routine proc_sethostname ( - process: process_t; - hostname: data_t); - -/* Get the hostname. */ -routine proc_gethostname ( - process: process_t; - out hostname: data_t, dealloc); +skip; /* Was proc_sethostid */ +skip; /* Was proc_gethostid */ +skip; /* Was proc_sethostname */ +skip; /* Was proc_gethostname */ /* Get the privileged host port and the device master port. */ routine proc_getprivports ( |