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);
int ret = kvm_vgic_inject_irq(vcpu->kvm, vcpu,
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,