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

/barrelfish-2018-10-04/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-2018-10-04/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-2018-10-04/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-2018-10-04/usr/drivers/cpuboot/
H A Dmain.c227 size_t framesize; local
229 err = frame_alloc_identify(&frame, MON_URPC_SIZE, &framesize, &urpc_frame_id);
276 size_t framesize; local
278 err = frame_alloc_identify(&frame, MON_URPC_SIZE, &framesize, &urpc_frame_id);
405 size_t framesize;
407 err = frame_alloc_identify(&frame, MON_URPC_SIZE, &framesize, &urpc_frame_id);
/barrelfish-2018-10-04/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-2018-10-04/lib/virtio/
H A Dvirtqueue.c243 size_t framesize; local
244 err = frame_alloc(&vring_cap, size, &framesize);
251 (uint64_t )framesize);
/barrelfish-2018-10-04/usr/pci/
H A Dpci.c161 pcisize_t framesize = 1UL << bits; local
169 base + framesize,
176 base + framesize);

Completed in 113 milliseconds