Fixing bugs...

2019-09-24 12:39:05 +02:00
parent 9b5bf087b5
commit a378ca4061
8 changed files with 43 additions and 29 deletions
--- a/kernel/drivers/paging.h
+++ b/kernel/drivers/paging.h
@@ -34,5 +34,9 @@ void switch_page_directory(page_directory_t *new);
 page_t *get_page(uint32_t addr, int32_t make, page_directory_t *dir);
 // Handle page faults
 void page_fault(registers_t regs);
+// Allocate a new frame
+void alloc_frame(page_t *page, int32_t is_kernel, int32_t is_writeable);
+// Deallocate frame
+void free_frame(page_t *page);

 #endif