diff options
| author | Xander <xander@biltopia.org> | 2023-07-21 21:36:54 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-21 21:36:54 +0200 |
| commit | 1d25d9783127c181f79732eb5c20c680444af414 (patch) | |
| tree | 5550f40b25af3e2722b5aaf6194f6df37ca9e092 /kernel/memory/frame.sats | |
| parent | 9226c8bb581c363a552998663704c483f35f6aae (diff) | |
| download | ats-os-1d25d9783127c181f79732eb5c20c680444af414.tar.xz ats-os-1d25d9783127c181f79732eb5c20c680444af414.zip | |
Mainly refactoring
Diffstat (limited to 'kernel/memory/frame.sats')
| -rw-r--r-- | kernel/memory/frame.sats | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/kernel/memory/frame.sats b/kernel/memory/frame.sats index 441b85a..0d29298 100644 --- a/kernel/memory/frame.sats +++ b/kernel/memory/frame.sats @@ -9,7 +9,6 @@ typedef frame_t = @{ typedef frame_allocator_t = @{ next_free_frame = frame_t, current_area = memory_area_t, - num_areas = size_t, kernel_start = frame_t, kernel_end = frame_t, multiboot_start = frame_t, @@ -19,7 +18,6 @@ typedef frame_allocator_t = @{ vtypedef allocptr = [l : agz] (frame_allocator_t@l , frame_allocator_t@l -<lin,prf> void | ptr l) 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 |