#ifndef MEM_H
#define MEM_H

#include <stdint.h>

extern uint16_t pages_left;

void init_mmap();

void *allocate_pages(uint16_t n);
void free_pages(void *ptr, uint16_t n);

#endif