diff options
author | Xander <xander@biltopia.org> | 2023-08-17 21:09:27 +0200 |
---|---|---|
committer | Xander <xander@biltopia.org> | 2023-08-17 21:09:27 +0200 |
commit | e2d7deb82cd25b47cbccda0c48ab39e17c5c536d (patch) | |
tree | 30e9d6d316dc3912d077eed469268f710696e916 /kernel/memory/frame.dats | |
parent | b06ab74179453e0f8592c77c40992707b3e8b765 (diff) | |
download | ats-os-e2d7deb82cd25b47cbccda0c48ab39e17c5c536d.tar.xz ats-os-e2d7deb82cd25b47cbccda0c48ab39e17c5c536d.zip |
Started implementing paging
Diffstat (limited to 'kernel/memory/frame.dats')
-rw-r--r-- | kernel/memory/frame.dats | 2 |
1 files changed, 1 insertions, 1 deletions
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) } |