Searched refs:sgi_iodev (Results 1 – 3 of 3) sorted by relevance
325 struct vgic_io_device sgi_iodev; member
206 vgic_cpu->sgi_iodev.base_addr = VGIC_ADDR_UNDEF; in kvm_vgic_vcpu_init()
617 struct vgic_io_device *sgi_dev = &vcpu->arch.vgic_cpu.sgi_iodev; in vgic_register_redist_iodev()683 struct vgic_io_device *sgi_dev = &vcpu->arch.vgic_cpu.sgi_iodev; in vgic_unregister_redist_iodev()
