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

/barrelfish-2018-10-04/usr/drivers/virtio/block/
H A Dmain_guest.c53 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 Ddevice.c98 .dev_size = reg_size
/barrelfish-2018-10-04/lib/virtio/backends/
H A Dvirtio_mmio.h24 size_t dev_size; ///< size of the mapped device region member in struct:virtio_device_mmio
H A Dvirtio_device_mmio.c362 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 Ddevice.c53 || 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 Dvirtio_device.h145 size_t dev_size; member in struct:virtio_backend_arg::__anon376::__anon377
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dpaging.c194 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 68 milliseconds