summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1993-10-28 20:58:48 +0000
committerMichael I. Bushnell <mib@gnu.org>1993-10-28 20:58:48 +0000
commit7be67904e796182508d73e6e98efd3f703cc715f (patch)
tree574474b58163d567a6463b699d2af5ce150dda9f
parent7a26745e70d64646064f9924502cc41fe5594b8b (diff)
Formerly startup.defs.~19~
-rw-r--r--hurd/startup.defs3
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