965 vgic_get_mmio_region(struct kvm_vcpu *vcpu, struct vgic_io_device *iodev,  in vgic_get_mmio_region()  argument
970 	region = vgic_find_mmio_region(iodev->regions, iodev->nr_regions,  in vgic_get_mmio_region()
971 				       addr - iodev->base_addr);  in vgic_get_mmio_region()
978 static int vgic_uaccess_read(struct kvm_vcpu *vcpu, struct vgic_io_device *iodev,  in vgic_uaccess_read()  argument
984 	region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));  in vgic_uaccess_read()
990 	r_vcpu = iodev->redist_vcpu ? iodev->redist_vcpu : vcpu;  in vgic_uaccess_read()
999 static int vgic_uaccess_write(struct kvm_vcpu *vcpu, struct vgic_io_device *iodev,  in vgic_uaccess_write()  argument
1005 	region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));  in vgic_uaccess_write()
1009 	r_vcpu = iodev->redist_vcpu ? iodev->redist_vcpu : vcpu;  in vgic_uaccess_write()
1032 	struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);  in dispatch_mmio_read()  local
1036 	region = vgic_get_mmio_region(vcpu, iodev, addr, len);  in dispatch_mmio_read()
1042 	switch (iodev->iodev_type) {  in dispatch_mmio_read()
1050 		data = region->read(iodev->redist_vcpu, addr, len);  in dispatch_mmio_read()
1053 		data = region->its_read(vcpu->kvm, iodev->its, addr, len);  in dispatch_mmio_read()
1064 	struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);  in dispatch_mmio_write()  local
1068 	region = vgic_get_mmio_region(vcpu, iodev, addr, len);  in dispatch_mmio_write()
1072 	switch (iodev->iodev_type) {  in dispatch_mmio_write()
1080 		region->write(iodev->redist_vcpu, addr, len, data);  in dispatch_mmio_write()
1083 		region->its_write(vcpu->kvm, iodev->its, addr, len, data);  in dispatch_mmio_write()