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/gdt/gdt.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/src/kernel/gdt/gdt.h b/src/kernel/gdt/gdt.h
index da36445..0e77103 100644
--- a/src/kernel/gdt/gdt.h
+++ b/src/kernel/gdt/gdt.h
@@ -6,8 +6,10 @@
  */
 void gdt_install();
 
-void tss_write(int32_t num, uint16_t ss0);
+void tss_write(int32_t num, uint16_t ss0, uint32_t esp0);
 
 void tss_flush();
 
+void set_kernel_stack(uintptr_t stack);
+
 #endif
-- 
cgit v1.2.3