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

/barrelfish-master/lib/demandpaging/include/
H A Ddemandpaging.h26 errval_t demand_paging_region_create(size_t bytes, size_t pagesize, size_t numframes,
/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c402 errval_t demand_paging_region_create(size_t bytes, size_t pagesize, size_t numframes, argument
502 err = frame_alloc(&frame, numframes * pagesize, &allocated_size);
520 err = cap_retype(frames, frame, 0, ObjType_Frame, pagesize, numframes);
525 dpr->frames = calloc(numframes, sizeof(void *));
531 struct dp_frame *dpf = calloc(numframes, sizeof(*dpf));
536 for (size_t i = 0; i < numframes; ++i) {
539 if (i == (numframes - 1)) {
552 dpr->frames_count = numframes;
/barrelfish-master/usr/drivers/usb/usb_manager/
H A Dusb_transfer.c964 uint32_t numframes; member in struct:usb_tstatus_state
978 st->numframes);

Completed in 120 milliseconds