Dynamic paging approach

I think this is it. I really do. I guess.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/kernel/memory/paging.h b/src/kernel/memory/paging.h
index 553c0e6..29409ab 100644
--- a/src/kernel/memory/paging.h
+++ b/src/kernel/memory/paging.h
@@ -23,16 +23,16 @@
 #define PT_GLOBAL 1 << 8
 #define PT_USED 1 << 9
 
-u32 *current_page_directory;
-u32 kernel_page_directory[1024] __attribute__((aligned(4096)));
+u32 **current_page_directory;
+u32 *kernel_page_directory[1024] __attribute__((aligned(4096)));
 int paging_enabled;
 
 void paging_install();
 void paging_enable();
 void paging_disable();
 
-u32 *paging_make_directory(int user);
-void paging_switch_directory(u32 *dir);
+u32 **paging_make_directory(int user);
+void paging_switch_directory(u32 **dir);
 
 void paging_map(u32 phy, u32 virt, u16 flags);
 u32 paging_get_phys(u32 virt);