25 |
#include "trace.h" |
#include "trace.h" |
26 |
#include "ipc-object.h" |
#include "ipc-object.h" |
27 |
#include "thread.h" |
#include "thread.h" |
28 |
|
#include "host.h" |
29 |
|
|
30 |
/* Task for kernel threads. */ |
/* Task for kernel threads. */ |
31 |
struct task *task_kernel; |
struct task *task_kernel; |
72 |
if (kr != KERN_SUCCESS) |
if (kr != KERN_SUCCESS) |
73 |
return kr; |
return kr; |
74 |
|
|
75 |
|
host_info_basic.tasks++; |
76 |
|
|
77 |
*child_taskp = new_task; |
*child_taskp = new_task; |
78 |
return KERN_SUCCESS; |
return KERN_SUCCESS; |
79 |
} |
} |
93 |
if (--task->ref_cnt != 0) |
if (--task->ref_cnt != 0) |
94 |
return; |
return; |
95 |
|
|
96 |
|
host_info_basic.tasks--; |
97 |
trace_printf ("implement task_deallocate"); |
trace_printf ("implement task_deallocate"); |
98 |
} |
} |
99 |
|
|