HelenOS sources

ra_free            92 kernel/generic/include/lib/ra.h extern void ra_free(ra_arena_t *, uintptr_t, size_t);
ra_free           405 kernel/generic/src/cap/cap.c 	ra_free(task->cap_info->handles, cap_handle_raw(handle), 1);
ra_free           129 kernel/generic/src/mm/km.c 	ra_free(km_ni_arena, page, size);