aboutsummaryrefslogtreecommitdiff
path: root/kernel/memory/frame.sats
blob: 441b85a4d8b47c5c2e05593a52ef84ac01a531ba (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#define PAGE_SIZE 4096

staload "kernel/bootinfo/multiboot.sats"

typedef frame_t = @{
  num = size_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,
  multiboot_end = frame_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