From e2d7deb82cd25b47cbccda0c48ab39e17c5c536d Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Thu, 17 Aug 2023 21:09:27 +0200
Subject: Started implementing paging

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

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

diff --git a/kernel/memory/frame.sats b/kernel/memory/frame.sats
index 6ace8f9..dfd422e 100644
--- a/kernel/memory/frame.sats
+++ b/kernel/memory/frame.sats
@@ -15,6 +15,8 @@ typedef frame_allocator_t = @{
   multiboot_end = frame_t
 }
 
+fn containing_address{l:addr}(ptr l):<> frame_t
+
 fn allocate_frame () : frame_t
 fn deallocate_frame () : void
 fn init(kernel_start: Ptr, kernel_end: Ptr, multiboot_start:Ptr, multiboot_end: Ptr) : void
-- 
cgit v1.2.3