Symbol: IRQ_PEND_EXT_MASK
arch/s390/kvm/interrupt.c
318
active_mask &= ~IRQ_PEND_EXT_MASK;
arch/s390/kvm/interrupt.c
399
if (!(pending_irqs_no_gisa(vcpu) & IRQ_PEND_EXT_MASK))