avic_set_running 2375 arch/x86/kvm/svm.c 	avic_set_running(vcpu, false);
avic_set_running 2380 arch/x86/kvm/svm.c 	avic_set_running(vcpu, true);