summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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