diff options
| author | Roland McGrath <roland@gnu.org> | 1994-07-12 00:13:19 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1994-07-12 00:13:19 +0000 |
| commit | 3d4034e09b9aa07aee2762e879deff8a92d4d592 (patch) | |
| tree | 764a9a3c1a5abb386b5a93f7c3340f6c8d0bb39e /hurd/process.defs | |
| parent | aa56141c474fcb415cd5578db2e74d4663f7b2d2 (diff) | |
Formerly process.defs.~79~
Diffstat (limited to 'hurd/process.defs')
| -rw-r--r-- | hurd/process.defs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/hurd/process.defs b/hurd/process.defs index 5d5f5210..6a766e32 100644 --- a/hurd/process.defs +++ b/hurd/process.defs @@ -28,6 +28,8 @@ subsystem process 24000; PROCESS_IMPORTS #endif +INTR_INTERFACE + /*** Host management ***/ @@ -166,11 +168,11 @@ routine proc_get_arg_locations ( out envp: vm_address_t); /* Fetch the message ports of a set of processes */ -INTR_ROUTINE (proc_getmsgport, ( +routine proc_getmsgport ( process: process_t; sreplyport reply_port: sreply_port_t; pid: pid_t; - out msgport: mach_port_t)) + out msgport: mach_port_t); /* Wait for a child process to exit. If pid is zero, it waits for any child in the same pgrp as the parent. If pid is -1, it waits for @@ -178,14 +180,14 @@ INTR_ROUTINE (proc_getmsgport, ( in the specified process group. If pid is positive, it waits for the specified process. The exit status and resource usage of the process are returned in status and rusage respectively. */ -INTR_ROUTINE (proc_wait, ( +routine proc_wait ( process: process_t; sreplyport reply_port: sreply_port_t; pid: pid_t; options: int; out status: int; out rusage: rusage_t; - out pid_status: pid_t)) + out pid_status: pid_t); /* Have the process server stop all threads except contthread. */ routine proc_dostop ( |