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.dats | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/kernel/memory/frame.dats b/kernel/memory/frame.dats
index 2910de5..aa02134 100644
--- a/kernel/memory/frame.dats
+++ b/kernel/memory/frame.dats
@@ -10,7 +10,7 @@ staload "lib/DATS/init.dats"
 
 staload UN = "prelude/SATS/unsafe.sats"
 
-fn containing_address{l:addr}(address : ptr l):<> frame_t = 
+implement containing_address(address) = 
   @{ 
     counter = $UN.cast{size_t}(address) / i2sz(PAGE_SIZE)
   }
-- 
cgit v1.2.3