sca_ext_call_pending 1121 arch/s390/kvm/interrupt.c 	return sca_ext_call_pending(vcpu, NULL);
sca_ext_call_pending 2971 arch/s390/kvm/interrupt.c 	if (sca_ext_call_pending(vcpu, &scn)) {