src/kernel/mem.h


1
2
3
4
5
6
7
8
9
10

#pragma once
#include <stddef.h>

void mem_init();

// allocates `pages` consecutive pages
void *page_alloc(size_t pages);

// frees `pages` consecutive pages starting from *first
void page_free(void *first, size_t pages);