10#include <manux/types.h>
11#include <manux/stddef.h>
14# include <manux/appelsysteme.h>
17#define MANUX_DEBUT_MEMOIRE_ETENDUE 0x100000
22#define NB_PAGES(n) ((n + MANUX_TAILLE_PAGE - 1)/MANUX_TAILLE_PAGE)
void * allouerPages(uint32_t nombre)
int nombrePagesAllouees(void)
void initialiserMemoire(uint32_t tailleMemoireDeBase, uint32_t tailleMemoireEtendue)
Initialisation de la mémoire au niveau pages.
int nombrePagesTotal(void)
void libererPage(void *pageLiberee)