kvm_vgic_vcpu_pending_irq
return ((irq_lines || kvm_vgic_vcpu_pending_irq(v))
if (kvm_vgic_vcpu_pending_irq(vcpu))
if (kvm_vgic_vcpu_pending_irq(vcpu)) {
int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu);