From 54d848127e2026b710463508b1e6ca89c2b4b068 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 18 Apr 2020 17:45:30 +0200
Subject: I don't know HOW I did it, but it works!

I finally fixed the acpi tables with some memory mapping magic and
paging allocations, which seems to do the trick. YAY.
---
 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 5836430..1578e2a 100644
--- a/src/kernel/memory/paging.h
+++ b/src/kernel/memory/paging.h
@@ -25,7 +25,7 @@ int paging_enabled;
 
 uint32_t *current_page_directory;
 
-void paging_install();
+void paging_install(uint32_t multiboot_address);
 
 void paging_enable();
 
@@ -61,4 +61,4 @@ uint32_t paging_alloc_pages(uint32_t count);
 
 uint32_t paging_get_used_pages();
 
-#endif
\ No newline at end of file
+#endif
-- 
cgit v1.2.3