avic_vcpu_put    2135 arch/x86/kvm/svm.c 		avic_vcpu_put(vcpu);
avic_vcpu_put    2356 arch/x86/kvm/svm.c 	avic_vcpu_put(vcpu);