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 /device | |
| 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.
Diffstat (limited to 'device')
0 files changed, 0 insertions, 0 deletions