#pragma once
#include "paging.h"
#include "stdarg.h"

void areaInit(void);
vaddr_t areaAlloc(unsigned int nbPages);
int areaFree(vaddr_t addr);
int areaAdd(vaddr_t addr, uint nbPages, int isFree);