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

/barrelfish-2018-10-04/usr/drivers/omap44xx/fdif/
H A Dfdif.c282 struct capref workarea_cap; local
288 err = frame_alloc(&workarea_cap, working_size, &retbytes);
297 err = vspace_map_one_frame(&workarea, working_size, workarea_cap,
312 err = invoke_frame_identify(workarea_cap, &wkret);

Completed in 87 milliseconds