Searched defs:sgi_dev (Results 1 – 1 of 1) sorted by relevance
617 struct vgic_io_device *sgi_dev = &vcpu->arch.vgic_cpu.sgi_iodev; in vgic_register_redist_iodev() local683 struct vgic_io_device *sgi_dev = &vcpu->arch.vgic_cpu.sgi_iodev; in vgic_unregister_redist_iodev() local999 struct vgic_io_device sgi_dev = { in vgic_v3_redist_uaccess() local
