From 877a319c94619e51a0103b9f201523b269588eb0 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sat, 1 Feb 2014 02:25:45 +0100
Subject: 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.
---
 include/mach/gnumach.defs | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'include')

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);
-- 
cgit v1.2.3