Searched refs:frames_count (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c191 dpr->frames_victim = (dpr->frames_victim + 1) % dpr->frames_count;
229 if (dpr->frames_count == 0) {
552 dpr->frames_count = numframes;
583 (dpr->frames_count + count) * sizeof(void *));
599 dpr->frames[dpr->frames_count + i] = dpf;
606 dpr->frames[dpr->frames_count + count - 1]->next = dpr->frames_free;
608 dpr->frames_free = dpr->frames[dpr->frames_count];
611 dpr->frames_count += count;
626 if (count > (dpr->frames_count - 1)) {
627 count = (dpr->frames_count
[all...]
/barrelfish-master/lib/demandpaging/include/
H A Ddp_internal.h205 size_t frames_count; ///< total length of all frames member in struct:demand_paging_region

Completed in 26 milliseconds