Searched refs:dev_size (Results 1 - 7 of 7) sorted by relevance
/barrelfish-2018-10-04/usr/drivers/virtio/block/ |
H A D | main_guest.c | 53 size_t dev_size = id.bytes; local 56 err = vspace_map_one_frame_attr(&dev_regs, dev_size, dev_frame, VIRTIO_VREGION_FLAGS_DEVICE, NULL, NULL); 61 vblock_device_init(&blk_dev, dev_regs, dev_size);
|
H A D | device.c | 98 .dev_size = reg_size
|
/barrelfish-2018-10-04/lib/virtio/backends/ |
H A D | virtio_mmio.h | 24 size_t dev_size; ///< size of the mapped device region member in struct:virtio_device_mmio
|
H A D | virtio_device_mmio.c | 362 if (len > (mmio_dev->dev_size + virtio_mmio_config_offset)) { 390 if ((length + offset) > (mmio_dev->dev_size + virtio_mmio_config_offset)) { 445 mmio_dev->dev_size = info->backend.args.mmio.dev_size; 667 setup->backend.args.mmio.dev_size += VIRTIO_MMIO_DEVICE_SIZE; 669 setup->backend.args.mmio.dev_size, 670 &setup->backend.args.mmio.dev_size); 696 setup->backend.args.mmio.dev_size, 710 assert(setup->backend.args.mmio.dev_size > VIRTIO_MMIO_DEVICE_SIZE); 721 mmio_host->dev_size [all...] |
/barrelfish-2018-10-04/lib/virtio/ |
H A D | device.c | 53 || setup->backend.args.mmio.dev_size == 0) { 170 size_t dev_size = id.bytes; local 172 err = vspace_map_one_frame_attr(&dev_base, dev_size, dev_cap, 186 setup->backend.args.mmio.dev_size = dev_size;
|
/barrelfish-2018-10-04/include/virtio/ |
H A D | virtio_device.h | 145 size_t dev_size; member in struct:virtio_backend_arg::__anon376::__anon377
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | paging.c | 194 lvaddr_t paging_map_device(lpaddr_t dev_base, size_t dev_size) argument 207 if (ARM_L1_SECTION_NUMBER(dev_base) != ARM_L1_SECTION_NUMBER(dev_base+dev_size-1)) { 209 dev_base, dev_size );
|
Completed in 198 milliseconds