io_device         922 virt/kvm/arm/vgic/vgic-mmio.c 	struct vgic_io_device *io_device = &kvm->arch.vgic.dist_iodev;
io_device         928 virt/kvm/arm/vgic/vgic-mmio.c 		len = vgic_v2_init_dist_iodev(io_device);
io_device         931 virt/kvm/arm/vgic/vgic-mmio.c 		len = vgic_v3_init_dist_iodev(io_device);
io_device         937 virt/kvm/arm/vgic/vgic-mmio.c 	io_device->base_addr = dist_base_address;
io_device         938 virt/kvm/arm/vgic/vgic-mmio.c 	io_device->iodev_type = IODEV_DIST;
io_device         939 virt/kvm/arm/vgic/vgic-mmio.c 	io_device->redist_vcpu = NULL;
io_device         943 virt/kvm/arm/vgic/vgic-mmio.c 				      len, &io_device->dev);