diff options
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) } |