HelenOS sources

frame_total_free_get_internal  177 kernel/generic/src/mm/frame.c 	total = frame_total_free_get_internal();
frame_total_free_get_internal  935 kernel/generic/src/mm/frame.c 		size_t avail = frame_total_free_get_internal();