diff options
Diffstat (limited to 'hurd/process_request.defs')
| -rw-r--r-- | hurd/process_request.defs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/hurd/process_request.defs b/hurd/process_request.defs index 80a28282..e36b3679 100644 --- a/hurd/process_request.defs +++ b/hurd/process_request.defs @@ -371,3 +371,7 @@ simpleroutine proc_getnports_request ( process: process_t; ureplyport reply: reply_port_t; which: pid_t); + +/*** Routines related to early server bootstrapping ***/ + +skip; /* Reserved for proc_set_init_task */ |