diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1992-10-23 20:22:12 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1992-10-23 20:22:12 +0000 |
| commit | af3ad48f52be9770322a4a0273687c9162b2f792 (patch) | |
| tree | 0a8dee2bc1c88707c3243a2bc349b9123f7d9677 /hurd | |
| parent | 41303f4e4bba4806fc1bae7cc2a58e5044fdacf9 (diff) | |
Formerly hurd_types.defs.~40~
Diffstat (limited to 'hurd')
| -rw-r--r-- | hurd/hurd_types.defs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hurd/hurd_types.defs b/hurd/hurd_types.defs index e19dedf2..6f5725e7 100644 --- a/hurd/hurd_types.defs +++ b/hurd/hurd_types.defs @@ -133,6 +133,8 @@ destructor: STARTUP_DESCTRUCTOR #endif ; +type proccoll_t = mach_port_copy_send_t; + #ifdef USERPREFIX userprefix USERPREFIX; #endif |