Map all free memory pages and add to page stack

2018-01-04 00:10:27 +01:00
parent cf1b631461
commit 5dc4e27392
3 changed files with 20 additions and 0 deletions
--- a/src/kernel/include/memory.h
+++ b/src/kernel/include/memory.h
@@ -38,4 +38,7 @@ uintptr_t vmm_get_page(void *P4, uintptr_t addr);
 int vmm_set_page(void *P4, uintptr_t addr, uintptr_t page, uint16_t flags);
 int touch_page(void *P4, uintptr_t addr, uint16_t flags);
 void free_page(void *P4, uintptr_t addr, int free);
+
+extern union PTE BootP4;
+extern int kernel_start, kernel_end;
 #endif