svm_ir_list_del  5254 arch/x86/kvm/svm.c 		svm_ir_list_del(prev_svm, pi);
svm_ir_list_del  5398 arch/x86/kvm/svm.c 					svm_ir_list_del(to_svm(vcpu), &pi);