Lines Matching defs:frames
183 struct dp_frame *dpf = dpr->frames[dpr->frames_victim];
230 USER_PANIC("there are o frames in the region\n");
499 /* allocate the frames */
512 struct capref frames;
513 err = cnode_create(&cnode_cap, &frames.cnode, allocated_size / pagesize, NULL);
520 err = cap_retype(frames, frame, 0, ObjType_Frame, pagesize, numframes);
525 dpr->frames = calloc(numframes, sizeof(void *));
526 if (dpr->frames == NULL) {
530 /* initialize the frames */
537 dpf->frame = frames;
545 dpr->frames[i] = dpf;
548 frames.slot++;
551 dpr->frames_free = dpr->frames[0];
567 errval_t demand_paging_region_add_frames(struct capref *frames, size_t count,
576 /* initialize the frames */
582 struct dp_frame **dp_frames = realloc(dpr->frames,
591 dpf->frame = frames[i];
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];
612 dpr->frames = dp_frames;
630 struct dp_frame *dpf = dpr->frames[dpr->frames_count - 1];
646 dpr->frames = realloc(dpr->frames, dpr->frames_count * sizeof(void *));
647 assert(dpr->frames);