HelenOS sources

tsk_destructor     87 kernel/generic/src/proc/task.c static size_t tsk_destructor(void *);
tsk_destructor    100 kernel/generic/src/proc/task.c 	    tsk_constructor, tsk_destructor, 0);