src/kernel/mem.h


1
2
3
4
5
6
7
8
9
10
11
12
13

#ifndef MEM_H
#define MEM_H

#include <stdint.h>

extern uint16_t pages_left;

void init_mmap();

void *allocate_pages(uint16_t n) __attribute__ ((malloc));
void free_pages(const void *ptr, uint16_t n);

#endif