diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-08-30 16:44:23 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-08-30 16:44:23 +0000 |
| commit | b971b3918432c0079b76b3912302be0d823311bf (patch) | |
| tree | 1bac9098aaeb8f624fab111df495b9e75b1d53da /proc | |
| parent | 6d6b69c0aa9beb0991a0412f25a7d3041851808d (diff) | |
entered into RCS
Diffstat (limited to 'proc')
| -rw-r--r-- | proc/proc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proc/proc.h b/proc/proc.h index daa8f8a6..94c209a7 100644 --- a/proc/proc.h +++ b/proc/proc.h @@ -170,6 +170,7 @@ void abort_getmsgport (struct proc *); int zombie_check_pid (pid_t); void check_message_dying (struct proc *, struct proc *); void message_port_dead (struct proc *); +void check_dead_execdata_notify (mach_port_t); void add_proc_to_hash (struct proc *); void add_exc_to_hash (struct exc *); |