prev_svm         5246 arch/x86/kvm/svm.c 		struct vcpu_svm *prev_svm;
prev_svm         5253 arch/x86/kvm/svm.c 		prev_svm = to_svm(prev_vcpu);
prev_svm         5254 arch/x86/kvm/svm.c 		svm_ir_list_del(prev_svm, pi);