Searched refs:framesize (Results 1 - 7 of 7) sorted by relevance
/barrelfish-2018-10-04/usr/monitor/arch/armv7/ |
H A D | boot.c | 55 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 D | boot.c | 55 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 D | boot.c | 61 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 D | main.c | 227 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 D | ump_chan.c | 242 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 D | virtqueue.c | 243 size_t framesize; local 244 err = frame_alloc(&vring_cap, size, &framesize); 251 (uint64_t )framesize);
|
/barrelfish-2018-10-04/usr/pci/ |
H A D | pci.c | 161 pcisize_t framesize = 1UL << bits; local 169 base + framesize, 176 base + framesize);
|
Completed in 48 milliseconds