next up previous contents
suivant: void * page_alloc(void * monter: Les appels système précédent: int pipe(uid)   Table des matières

Gestion de la mémoire



Sous-sections

2003-03-30