deliverable_irqs 1126 arch/s390/kvm/interrupt.c if (deliverable_irqs(vcpu)) deliverable_irqs 1287 arch/s390/kvm/interrupt.c while ((irqs = deliverable_irqs(vcpu)) && !rc) {