diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1993-10-28 20:58:48 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1993-10-28 20:58:48 +0000 |
| commit | 7be67904e796182508d73e6e98efd3f703cc715f (patch) | |
| tree | 574474b58163d567a6463b699d2af5ce150dda9f | |
| parent | 7a26745e70d64646064f9924502cc41fe5594b8b (diff) | |
Formerly startup.defs.~19~
| -rw-r--r-- | hurd/startup.defs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs index 72015bd7..ef07b9eb 100644 --- a/hurd/startup.defs +++ b/hurd/startup.defs @@ -27,6 +27,9 @@ subsystem startup 29000; STARTUP_IMPORTS #endif +type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE | polymorphic + ctype: mach_port_t; + /* This call registers a task as "essential", which means that if it dies, the system should crash. If the specified task dies or an exception message is sent to the exception port, then we will print |