Symbol: kvm_s390_is_restart_irq_pending
arch/s390/kvm/kvm-s390.h
551
int kvm_s390_is_restart_irq_pending(struct kvm_vcpu *vcpu);
arch/s390/kvm/sigp.c
303
kvm_s390_is_restart_irq_pending(dst_vcpu))