diff options
Diffstat (limited to 'kernel/memory/frame.sats')
| -rw-r--r-- | kernel/memory/frame.sats | 2 |
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 |