src/memory.c: improve paging code

uses untracked memory for paging, avoiding wasting memory by not
creating headers for memory that won't ever be freed.

also simplify some functions

Signed-off-by: Anna (navi) Figueiredo Gomes <navi@vlhl.dev>

1 files changed, 4 insertions, 2 deletions

diff --git a/include/memory.h b/include/memory.h
index b349e62..0bf3715 100644
--- a/include/memory.h
+++ b/include/memory.h
@@ -2,12 +2,14 @@
 #define _PAGE_H_
 
 #include <stddef.h>
+#include <stdint.h>
 #include <stdbool.h>
 
 void *kmalloc(size_t size);
 void *kmalloc_a(size_t size, size_t alignment);
 void kfree(void *ptr);
-void print_blocks();
-bool paging_init();
+void print_blocks(void);
+void memory_map(uintptr_t addr, size_t size);
+bool paging_init(void);
 
 #endif