Searched refs:pagemanager_fini (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dprivate_mem.c180 pagemanager_fini(hd);
H A Dmemman.h277 void pagemanager_fini(struct heap_descriptor *);
H A Dshared_mem.c296 pagemanager_fini(hd);
H A Dalloc.c252 pagemanager_fini(struct heap_descriptor *hd) function
266 _print("SHM: not all pages were freed in pagemanager_fini()\n");

Completed in 28 milliseconds