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);