kvm_vgic_inject_irq
kvm_vgic_inject_irq(vcpu->kvm, vcpu,
return kvm_vgic_inject_irq(kvm, vcpu, irq_num, level, NULL);
return kvm_vgic_inject_irq(kvm, NULL, irq_num, level, NULL);
WARN_ON(kvm_vgic_inject_irq(vcpu->kvm, vcpu, pmu->irq_num,
return kvm_vgic_inject_irq(kvm, NULL, spi_id, level, NULL);
kvm_vgic_inject_irq(vcpu->kvm, vcpu,
kvm_vgic_inject_irq(vcpu->kvm, vcpu,
int kvm_vgic_inject_irq(struct kvm *kvm, struct kvm_vcpu *vcpu,