HelenOS sources

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