943 vgic_get_mmio_region(struct kvm_vcpu *vcpu, struct vgic_io_device *iodev,  in vgic_get_mmio_region()  argument
948 	region = vgic_find_mmio_region(iodev->regions, iodev->nr_regions,  in vgic_get_mmio_region()
949 				       addr - iodev->base_addr);  in vgic_get_mmio_region()
959 	struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);  in vgic_uaccess_read()  local
963 	region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));  in vgic_uaccess_read()
969 	r_vcpu = iodev->redist_vcpu ? iodev->redist_vcpu : vcpu;  in vgic_uaccess_read()
981 	struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);  in vgic_uaccess_write()  local
985 	region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));  in vgic_uaccess_write()
989 	r_vcpu = iodev->redist_vcpu ? iodev->redist_vcpu : vcpu;  in vgic_uaccess_write()
1012 	struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);  in dispatch_mmio_read()  local
1016 	region = vgic_get_mmio_region(vcpu, iodev, addr, len);  in dispatch_mmio_read()
1022 	switch (iodev->iodev_type) {  in dispatch_mmio_read()
1030 		data = region->read(iodev->redist_vcpu, addr, len);  in dispatch_mmio_read()
1033 		data = region->its_read(vcpu->kvm, iodev->its, addr, len);  in dispatch_mmio_read()
1044 	struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);  in dispatch_mmio_write()  local
1048 	region = vgic_get_mmio_region(vcpu, iodev, addr, len);  in dispatch_mmio_write()
1052 	switch (iodev->iodev_type) {  in dispatch_mmio_write()
1060 		region->write(iodev->redist_vcpu, addr, len, data);  in dispatch_mmio_write()
1063 		region->its_write(vcpu->kvm, iodev->its, addr, len, data);  in dispatch_mmio_write()