823 						    struct vgic_io_device, dev);  in vgic_handle_mmio_access()
911 	kvm_iodevice_init(&iodev->dev, &vgic_io_ops);  in vgic_register_kvm_io_dev()
916 				      &iodev->dev);  in vgic_register_kvm_io_dev()
921 		iodev->dev.ops = NULL;  in vgic_register_kvm_io_dev()
2262 int vgic_set_common_attr(struct kvm_device *dev, struct kvm_device_attr *attr)  in vgic_set_common_attr()  argument
2275 		r = kvm_vgic_addr(dev->kvm, type, &addr, true);  in vgic_set_common_attr()
2297 		mutex_lock(&dev->kvm->lock);  in vgic_set_common_attr()
2299 		if (vgic_ready(dev->kvm) || dev->kvm->arch.vgic.nr_irqs)  in vgic_set_common_attr()
2302 			dev->kvm->arch.vgic.nr_irqs = val;  in vgic_set_common_attr()
2304 		mutex_unlock(&dev->kvm->lock);  in vgic_set_common_attr()
2311 			r = vgic_init(dev->kvm);  in vgic_set_common_attr()
2321 int vgic_get_common_attr(struct kvm_device *dev, struct kvm_device_attr *attr)  in vgic_get_common_attr()  argument
2331 		r = kvm_vgic_addr(dev->kvm, type, &addr, false);  in vgic_get_common_attr()
2342 		r = put_user(dev->kvm->arch.vgic.nr_irqs, uaddr);  in vgic_get_common_attr()