diff --git a/src/memory/page.c b/src/memory/page.c index cceedd0..7a2c412 100644 --- a/src/memory/page.c +++ b/src/memory/page.c @@ -5,8 +5,8 @@ #include "assert.h" #include "kprintf.h" #include "memory.h" -#include "string.h" #include "process.h" +#include "string.h" #include "utils.h" static int16_t find_next_block(size_t nb_pages, uint16_t *pd_index_ptr, @@ -33,20 +33,6 @@ static int16_t find_next_block(size_t nb_pages, uint16_t *pd_index_ptr, return -1; } -int8_t add_single_page(void *frame) -{ - uint16_t pd_index; - uint32_t *page_table; - const int16_t i = find_next_block(1, &pd_index, &page_table); - - if (i < 0) { - kprintf(KERN_CRIT "impossible to add page to page directory\n"); - return -1; - } - page_table[i] = ((uint32_t)frame & PAGE_MASK) | INIT_FLAGS; - return 0; -} - void *alloc_pages(size_t size, void **phys_addr) { const uint32_t nb_pages = CEIL(size, PAGE_SIZE);