next up previous contents
suivant: void * page_partage(int clée,void monter: Gestion de la mémoire précédent: Gestion de la mémoire   Table des matières

void * page_alloc(void * dest)

Page_alloc alloue une page mémoire et la mappe à l'endroit désiré par l'utilisateur dans l'espace d'adressage du processus.



2003-03-30