From 8afd6ea3d8826ef64ff2a65256afaa6028e5002b Mon Sep 17 00:00:00 2001 From: "iliya.saroukha" <iliya.saroukhanian@etu.hesge.ch> Date: Tue, 22 Oct 2024 19:04:58 +0200 Subject: [PATCH] fix: made is_frame_free(int frame) public --- kernel/mem/frame.h | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/kernel/mem/frame.h b/kernel/mem/frame.h index a8b0464..29b1530 100644 --- a/kernel/mem/frame.h +++ b/kernel/mem/frame.h @@ -31,16 +31,17 @@ extern void frame_init(uint_t RAM_in_KB); // The frame's content is always zeroed. extern void *frame_alloc(void); +extern bool is_frame_free(int frame); + // Free a frame. // REMARK: doesn't check whether the frame was previously allocated or not. extern void frame_free(void *frame_addr); // Returns the total number of free frames. -// This can typically be used by a syscall to retrieve the amount of free RAM. +// This can typically be used by a syscall to retrieve the amount of free +// RAM. extern uint_t frame_total_free(void); extern void dbg_frame_allocator(struct terminal_t *term); -extern void dbg_frame_bmp(struct terminal_t *term); - #endif -- GitLab