HelenOS sources

frame_free_generic  137 kernel/generic/include/mm/frame.h extern void frame_free_generic(uintptr_t, size_t, frame_flags_t);
frame_free_generic 1053 kernel/generic/src/mm/frame.c 	frame_free_generic(frame, count, 0);
frame_free_generic 1058 kernel/generic/src/mm/frame.c 	frame_free_generic(frame, count, FRAME_NO_RESERVE);