From 58096a11ea200d4caf656bac712cde24daa8a697 Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Fri, 21 Jul 2023 22:38:43 +0200
Subject: Working frame allocator but VERY ugly code

---
 kernel/memory/frame.sats | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/memory/frame.sats')

diff --git a/kernel/memory/frame.sats b/kernel/memory/frame.sats
index 0d29298..d965567 100644
--- a/kernel/memory/frame.sats
+++ b/kernel/memory/frame.sats
@@ -20,4 +20,4 @@ vtypedef allocptr  = [l : agz] (frame_allocator_t@l , frame_allocator_t@l -<lin,
 fn containing_address {l : addr} (address : ptr l) : frame_t
 fn allocate_frame {l : agz}{k : agz} (pf : !frame_allocator_t @ l >> frame_allocator_t @ l, bf : !boot_info_t @ k | p : ptr l, b : ptr k) : frame_t
 fn deallocate_frame (p : !allocptr) : void
-fn frame_allocator_init() : allocptr
+fn frame_allocator_init(kernel_start: Ptr, kernel_end: Ptr, multiboot_start:Ptr, multiboot_end: Ptr, b : !bootptr) : allocptr
-- 
cgit v1.2.3