Searched refs:numframes (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/lib/demandpaging/include/ |
H A D | demandpaging.h | 26 errval_t demand_paging_region_create(size_t bytes, size_t pagesize, size_t numframes,
|
/barrelfish-master/lib/demandpaging/ |
H A D | demandpaging.c | 402 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 D | usb_transfer.c | 964 uint32_t numframes; member in struct:usb_tstatus_state 978 st->numframes);
|
Completed in 120 milliseconds