kvm_s390_vcpu_start
rc = kvm_s390_vcpu_start(vcpu);
kvm_s390_vcpu_start(vcpu);
int kvm_s390_vcpu_start(struct kvm_vcpu *vcpu);