svm_clear_vintr  3842 arch/x86/kvm/svm.c 		svm_clear_vintr(svm);
svm_clear_vintr  4478 arch/x86/kvm/svm.c 	svm_clear_vintr(svm);