From b70116dc7c57132c109955c4b174ff2417afda68 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 26 May 2020 00:37:10 +0200
Subject: Some workarounds which apparently work.

---
 src/kernel/memory/paging.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/kernel/memory/paging.h')

diff --git a/src/kernel/memory/paging.h b/src/kernel/memory/paging.h
index 29409ab..f42bb2e 100644
--- a/src/kernel/memory/paging.h
+++ b/src/kernel/memory/paging.h
@@ -24,14 +24,14 @@
 #define PT_USED 1 << 9
 
 u32 **current_page_directory;
-u32 *kernel_page_directory[1024] __attribute__((aligned(4096)));
+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);
+u32 **paging_make_directory();
 void paging_switch_directory(u32 **dir);
 
 void paging_map(u32 phy, u32 virt, u16 flags);
-- 
cgit v1.2.3