diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-08-15 15:49:33 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-08-15 15:49:33 +0000 |
commit | 2ad5c3704ae2643ec7b456199166edbc2c2a878e (patch) | |
tree | bd73f3d885aa476739e6f0781f67290f70e6fc95 | |
parent | 6860ecf297fb1f0b56f3f18efd3d3a257136f9eb (diff) |
entered into RCS
-rw-r--r-- | hurd/startup_reply.defs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/hurd/startup_reply.defs b/hurd/startup_reply.defs index ec0fc8b7..1776dc3d 100644 --- a/hurd/startup_reply.defs +++ b/hurd/startup_reply.defs @@ -31,7 +31,10 @@ type reply_port_t = polymorphic | MACH_MSG_TYPE_PORT_SEND_ONCE STARTUP_IMPORTS #endif -skip; /* startup_essential_task */ +simpleroutine startup_essential_task_reply ( + reply_port: reply_port_t; + retcode: kern_return_t); + skip; /* startup_request_notification */ skip; /* startup_reboot */ |