1 files changed, 6 insertions, 11 deletions
diff --git a/src/kernel/memory/paging.h b/src/kernel/memory/paging.h
index 17dde1d..553c0e6 100644
--- a/src/kernel/memory/paging.h
+++ b/src/kernel/memory/paging.h
@@ -23,22 +23,16 @@
 #define PT_GLOBAL 1 << 8
 #define PT_USED 1 << 9
 
-typedef u32 (*page_tables)[1024] __attribute__((aligned(4096)));
-
-struct page_dir {
-	page_tables tables;
-};
-
-struct page_dir *current_page_directory;
-struct page_dir 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(u32 multiboot_address);
+void paging_install();
 void paging_enable();
 void paging_disable();
 
-struct page_dir *paging_make_directory(int user);
-void paging_switch_directory(struct page_dir *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);
@@ -52,6 +46,7 @@ void paging_set_present(u32 virt, u32 count);
 void paging_set_absent(u32 virt, u32 count);
 void paging_set_used(u32 virt, u32 count);
 void paging_set_free(u32 virt, u32 count);
+void paging_set_user(u32 virt, u32 count);
 
 u32 paging_find_pages(u32 count);
 u32 paging_alloc_pages(u32 count);