HelenOS sources

ra_arena_destroy   89 kernel/generic/include/lib/ra.h extern void ra_arena_destroy(ra_arena_t *);
ra_arena_destroy  160 kernel/generic/src/cap/cap.c 	ra_arena_destroy(task->cap_info->handles);
ra_arena_destroy  185 kernel/generic/src/cap/cap.c 	ra_arena_destroy(task->cap_info->handles);