From cd3ad989210dc8a3f5805dd5d4c4a6bd74e281db Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 16 Jan 2020 17:15:53 +0100
Subject: Quite a different approach to userspace paging

Hope this works soon!
---
 src/kernel/paging/paging.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/kernel/paging/paging.h b/src/kernel/paging/paging.h
index 684c3b2..b75bbe3 100644
--- a/src/kernel/paging/paging.h
+++ b/src/kernel/paging/paging.h
@@ -29,7 +29,7 @@ void paging_enable();
 
 void paging_disable();
 
-void paging_switch_directory();
+void paging_switch_directory(int user);
 
 void paging_map(uint32_t phy, uint32_t virt, uint16_t flags);
 
-- 
cgit v1.2.3