diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-02-01 02:25:45 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-02-05 11:57:56 +0100 |
| commit | 877a319c94619e51a0103b9f201523b269588eb0 (patch) | |
| tree | ab6e8ed8687621f09b10bfc497981d9534995fb5 | |
| parent | de74f85990dc39bc6723f046f83d4e53c45f4343 (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.
| -rw-r--r-- | include/mach/gnumach.defs | 9 |
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); |