Lines Matching refs:vgic_dist
38 static u8 *vgic_get_sgi_sources(struct vgic_dist *dist, int vcpu_id, int sgi) in vgic_get_sgi_sources()
142 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_get_target_reg()
156 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_set_target_reg()
248 struct vgic_dist *dist = &vcpu->kvm->arch.vgic; in read_set_clear_sgi_pend_reg()
270 struct vgic_dist *dist = &vcpu->kvm->arch.vgic; in write_set_clear_sgi_pend_reg()
410 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_dispatch_sgi()
451 struct vgic_dist *dist = &vcpu->kvm->arch.vgic; in vgic_v2_queue_sgi()
491 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_v2_map_resources()
546 struct vgic_dist *dist = &vcpu->kvm->arch.vgic; in vgic_v2_add_sgi_source()
563 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_v2_init_emulation()
672 struct vgic_dist *vgic; in vgic_attr_regs_access()