sca_del_vcpu      607 arch/s390/kvm/kvm-s390.c static void sca_del_vcpu(struct kvm_vcpu *vcpu);
sca_del_vcpu     2531 arch/s390/kvm/kvm-s390.c 		sca_del_vcpu(vcpu);