HelenOS sources

task_destroy_arch  164 kernel/generic/include/proc/task.h #ifndef task_destroy_arch
task_destroy_arch  165 kernel/generic/include/proc/task.h extern void task_destroy_arch(task_t *);
task_destroy_arch  245 kernel/generic/src/proc/task.c 			task_destroy_arch(task);
task_destroy_arch  283 kernel/generic/src/proc/task.c 	task_destroy_arch(task);