diff options
| author | Xander <xander@biltopia.org> | 2023-07-21 22:38:43 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-21 22:38:43 +0200 |
| commit | 58096a11ea200d4caf656bac712cde24daa8a697 (patch) | |
| tree | 41df97b7d352217888804d8b13ae0802beaa5ffd /kernel/memory/frame.sats | |
| parent | 1d25d9783127c181f79732eb5c20c680444af414 (diff) | |
| download | ats-os-58096a11ea200d4caf656bac712cde24daa8a697.tar.xz ats-os-58096a11ea200d4caf656bac712cde24daa8a697.zip | |
Working frame allocator but VERY ugly code
Diffstat (limited to 'kernel/memory/frame.sats')
| -rw-r--r-- | kernel/memory/frame.sats | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/memory/frame.sats b/kernel/memory/frame.sats index 0d29298..d965567 100644 --- a/kernel/memory/frame.sats +++ b/kernel/memory/frame.sats @@ -20,4 +20,4 @@ vtypedef allocptr = [l : agz] (frame_allocator_t@l , frame_allocator_t@l -<lin, fn containing_address {l : addr} (address : ptr l) : frame_t fn allocate_frame {l : agz}{k : agz} (pf : !frame_allocator_t @ l >> frame_allocator_t @ l, bf : !boot_info_t @ k | p : ptr l, b : ptr k) : frame_t fn deallocate_frame (p : !allocptr) : void -fn frame_allocator_init() : allocptr +fn frame_allocator_init(kernel_start: Ptr, kernel_end: Ptr, multiboot_start:Ptr, multiboot_end: Ptr, b : !bootptr) : allocptr |