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

/barrelfish-master/usr/monitor/arch/armv7/
H A Dboot.c55 size_t framesize = frameid.bytes; local
56 if (framesize < 2 * MON_URPC_CHANNEL_LEN) {
62 err = vspace_map_one_frame(&buf, framesize, frame, NULL, NULL);
/barrelfish-master/usr/monitor/arch/x86/
H A Dboot.c61 size_t framesize = frameid.bytes; local
62 if (framesize < 2 * MON_URPC_CHANNEL_LEN) {
68 err = vspace_map_one_frame(&buf, framesize, frame, NULL, NULL);
/barrelfish-master/usr/monitor/arch/armv8/
H A Dboot.c55 size_t framesize = frameid.bytes; local
56 if (framesize < 2 * MON_URPC_CHANNEL_LEN) {
62 err = vspace_map_one_frame(&buf, framesize, frame, NULL, NULL);
/barrelfish-master/usr/drivers/cpuboot/
H A Dmain.c228 size_t framesize; local
230 err = frame_alloc_identify(&frame, MON_URPC_SIZE, &framesize, &urpc_frame_id);
281 size_t framesize; local
283 err = frame_alloc_identify(&frame, MON_URPC_SIZE, &framesize, &urpc_frame_id);
414 size_t framesize;
416 err = frame_alloc_identify(&frame, MON_URPC_SIZE, &framesize, &urpc_frame_id);
/barrelfish-master/lib/barrelfish/
H A Dump_chan.c242 size_t framesize = inchanlen + outchanlen; local
243 err = frame_alloc(&uc->frame, framesize, &framesize);
250 err = vspace_map_one_frame_attr(&buf, framesize, uc->frame, UMP_MAP_ATTR,
/barrelfish-master/lib/virtio/
H A Dvirtqueue.c243 size_t framesize; local
244 err = frame_alloc(&vring_cap, size, &framesize);
251 (uint64_t )framesize);
/barrelfish-master/usr/pci/
H A Dpci.c165 pcisize_t framesize = 1UL << bits; local
173 base + framesize,
180 base + framesize);

Completed in 207 milliseconds