635 	struct vgic_io_device *sgi_dev = &vcpu->arch.vgic_cpu.sgi_iodev;  in vgic_register_redist_iodev()  local
676 	kvm_iodevice_init(&sgi_dev->dev, &kvm_io_gic_ops);  in vgic_register_redist_iodev()
677 	sgi_dev->base_addr = sgi_base;  in vgic_register_redist_iodev()
678 	sgi_dev->iodev_type = IODEV_REDIST;  in vgic_register_redist_iodev()
679 	sgi_dev->regions = vgic_v3_sgibase_registers;  in vgic_register_redist_iodev()
680 	sgi_dev->nr_regions = ARRAY_SIZE(vgic_v3_sgibase_registers);  in vgic_register_redist_iodev()
681 	sgi_dev->redist_vcpu = vcpu;  in vgic_register_redist_iodev()
685 				      SZ_64K, &sgi_dev->dev);  in vgic_register_redist_iodev()
701 	struct vgic_io_device *sgi_dev = &vcpu->arch.vgic_cpu.sgi_iodev;  in vgic_unregister_redist_iodev()  local
704 	kvm_io_bus_unregister_dev(vcpu->kvm, KVM_MMIO_BUS, &sgi_dev->dev);  in vgic_unregister_redist_iodev()
1017 	struct vgic_io_device sgi_dev = {  in vgic_v3_redist_uaccess()  local
1024 		return vgic_uaccess(vcpu, &sgi_dev, is_write, offset - SZ_64K,  in vgic_v3_redist_uaccess()