HelenOS sources

ra_segment_destroy  161 kernel/generic/src/lib/ra.c 		ra_segment_destroy(seg);
ra_segment_destroy  196 kernel/generic/src/lib/ra.c 		ra_segment_destroy(seg);
ra_segment_destroy  298 kernel/generic/src/lib/ra.c 					ra_segment_destroy(pred);
ra_segment_destroy  387 kernel/generic/src/lib/ra.c 			ra_segment_destroy(pred);
ra_segment_destroy  405 kernel/generic/src/lib/ra.c 		ra_segment_destroy(succ);