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) {