summaryrefslogtreecommitdiff
path: root/include/mach/gnumach.defs
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-02-01 02:25:45 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-02-05 11:57:56 +0100
commit877a319c94619e51a0103b9f201523b269588eb0 (patch)
treeab6e8ed8687621f09b10bfc497981d9534995fb5 /include/mach/gnumach.defs
parentde74f85990dc39bc6723f046f83d4e53c45f4343 (diff)
include: add task_set_name
task_set_name sets the name of a task. This is a debugging aid. The name will be used in error messages printed by the kernel. * include/mach/gnumach.defs (task_set_name): New procedure.
Diffstat (limited to 'include/mach/gnumach.defs')
-rw-r--r--include/mach/gnumach.defs9
1 files changed, 9 insertions, 0 deletions
diff --git a/include/mach/gnumach.defs b/include/mach/gnumach.defs
index 12c4e99..6cfbb0d 100644
--- a/include/mach/gnumach.defs
+++ b/include/mach/gnumach.defs
@@ -27,6 +27,7 @@ subsystem
#include <mach/std_types.defs>
#include <mach/mach_types.defs>
+#include <mach_debug/mach_debug_types.defs>
type vm_cache_statistics_data_t = struct[11] of integer_t;
@@ -63,3 +64,11 @@ simpleroutine thread_terminate_release(
reply_port : mach_port_name_t;
address : vm_address_t;
size : vm_size_t);
+
+/*
+ * Set the name of task TASK to NAME. This is a debugging aid.
+ * NAME will be used in error messages printed by the kernel.
+ */
+simpleroutine task_set_name(
+ task : task_t;
+ name : kernel_debug_name_t);