Searched refs:add_sgi_source (Results 1 – 4 of 4) sorted by relevance
144 void (*add_sgi_source)(struct kvm_vcpu *, int irq, int source); member
119 static void add_sgi_source(struct kvm_vcpu *vcpu, int irq, int source) in add_sgi_source() function121 vcpu->kvm->arch.vgic.vm_ops.add_sgi_source(vcpu, irq, source); in add_sgi_source()713 add_sgi_source(vcpu, lr.irq, lr.source); in vgic_unqueue_irqs()
566 dist->vm_ops.add_sgi_source = vgic_v2_add_sgi_source; in vgic_v2_init_emulation()
875 dist->vm_ops.add_sgi_source = vgic_v3_add_sgi_source; in vgic_v3_init_emulation()