Searched refs:page_admin (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dmemman.h133 struct page_admin { struct
230 struct page_admin *pages;
258 struct page_admin pages; /* page manager structure */
H A Dprivate_mem.c82 struct page_admin pages;
H A Dalloc.c215 struct page_admin *pages = hd->pages;
342 struct page_admin *pages = hd->pages;
409 struct page_admin *pages = hd->pages;
550 struct page_admin *pages = hd->pages;
1016 struct page_admin *pages = hd->pages;

Completed in 37 milliseconds