started_vcpu     4197 arch/s390/kvm/kvm-s390.c 	struct kvm_vcpu *started_vcpu = NULL;
started_vcpu     4216 arch/s390/kvm/kvm-s390.c 			started_vcpu = vcpu->kvm->vcpus[i];
started_vcpu     4225 arch/s390/kvm/kvm-s390.c 		__enable_ibs_on_vcpu(started_vcpu);