#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