kvm_s390_ext_call_pending
if (kvm_s390_ext_call_pending(vcpu) &&
int kvm_s390_ext_call_pending(struct kvm_vcpu *vcpu);
ext_call_pending = kvm_s390_ext_call_pending(dst_vcpu);