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

/barrelfish-2018-10-04/usr/drivers/omap44xx/fdif/
H A Dfdif.c249 size_t img_size = 320 * 240 * 8; // 75 KB local
250 size_t working_size = img_size; // 51.25 KB is enough
284 err = frame_alloc(&img_cap, img_size, &retbytes);
286 assert(retbytes >= img_size);
293 err = vspace_map_one_frame_attr((void **)&image, img_size, img_cap,
/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.c562 install_grub_stage2 (struct guest *g, void *img, size_t img_size)
568 memcpy((void *)(guest_to_host(g->mem_low_va + 0x8000)), img, img_size);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.c543 install_grub_stage2 (struct guest *g, void *img, size_t img_size) argument
549 memcpy((void *)(guest_to_host(g->mem_low_va + 0x8000)), img, img_size);

Completed in 148 milliseconds