frame_total_free_get 141 kernel/generic/include/mm/frame.h extern size_t frame_total_free_get(void); frame_total_free_get 58 kernel/generic/src/mm/reserve.c reserve = frame_total_free_get();