#define PAGE_SIZE 4096

staload "kernel/bootinfo/multiboot.sats"

// Physical address type
typedef paddr = Ptr0

typedef frame_t = @{
  num = size_t
}

typedef frame_allocator_t = @{
  next_free_frame = frame_t,
  current_area = memory_area_t,
  kernel_start = frame_t,
  kernel_end = frame_t,
  multiboot_start = frame_t,
  multiboot_end = frame_t
}

fn containing_address{l:addr}(ptr l):<> frame_t
fn start_address(frame_t):<> paddr

fn allocate_frame () : frame_t
fn deallocate_frame () : void
fn init(kernel_start: Ptr, kernel_end: Ptr, multiboot_start:Ptr, multiboot_end: Ptr) : void