HelenOS sources

task_destroy_arch  165 kernel/generic/include/proc/task.h #ifndef task_destroy_arch
task_destroy_arch  166 kernel/generic/include/proc/task.h extern void task_destroy_arch(task_t *);
task_destroy_arch  246 kernel/generic/src/proc/task.c 			task_destroy_arch(task);
task_destroy_arch  284 kernel/generic/src/proc/task.c 	task_destroy_arch(task);