summaryrefslogtreecommitdiff
path: root/include/mach/gnumach.defs
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-04 18:46:42 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-09 09:34:51 +0100
commit8c4d15d5b824fd02bd6909f6d254828732f3bb7b (patch)
treec5d9448587d673d2c211b26c459868e19bc62c5c /include/mach/gnumach.defs
parent8214da0d2e0e6f01b17c9d1dc1608f0ec3cf3be4 (diff)
kern: provide notifications about new tasks
These notifications are sent to the port registered via `register_new_task_notification' and provide a robust parental relation between tasks to a userspace server. * Makefrag.am: Add task_notify.defs. * include/mach/gnumach.defs: Add register_new_task_notification. * include/mach/task_notify.defs: New file. * kern/task.c (new_task_notification): New variable. (task_create): Send new task notifications. (register_new_task_notification): Add server function. * kern/task_notify.cli: New file.
Diffstat (limited to 'include/mach/gnumach.defs')
-rw-r--r--include/mach/gnumach.defs8
1 files changed, 8 insertions, 0 deletions
diff --git a/include/mach/gnumach.defs b/include/mach/gnumach.defs
index 6cfbb0d..bac3b09 100644
--- a/include/mach/gnumach.defs
+++ b/include/mach/gnumach.defs
@@ -72,3 +72,11 @@ simpleroutine thread_terminate_release(
simpleroutine task_set_name(
task : task_t;
name : kernel_debug_name_t);
+
+/*
+ * Register a port to which a notification about newly created tasks
+ * are sent.
+ */
+routine register_new_task_notification(
+ host_priv : host_priv_t;
+ notification : mach_port_send_t);