next up previous contents
suivant: Général monter: Gestion de la mémoire précédent: void * page_alloc(void *   Table des matières

void * page_partage(int clée,void * dest)

Page_partage mappe une page de mémoire partagée dans le process. Un autre process pourra y acceder en ulisitant la même clef.



2003-03-30