aboutsummaryrefslogtreecommitdiff
path: root/kernel/memory/frame.sats
diff options
context:
space:
mode:
authorXander <xander@biltopia.org>2023-08-17 21:09:27 +0200
committerXander <xander@biltopia.org>2023-08-17 21:09:27 +0200
commite2d7deb82cd25b47cbccda0c48ab39e17c5c536d (patch)
tree30e9d6d316dc3912d077eed469268f710696e916 /kernel/memory/frame.sats
parentb06ab74179453e0f8592c77c40992707b3e8b765 (diff)
downloadats-os-e2d7deb82cd25b47cbccda0c48ab39e17c5c536d.tar.xz
ats-os-e2d7deb82cd25b47cbccda0c48ab39e17c5c536d.zip
Started implementing paging
Diffstat (limited to 'kernel/memory/frame.sats')
-rw-r--r--kernel/memory/frame.sats2
1 files changed, 2 insertions, 0 deletions
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