disable_gif      3379 arch/x86/kvm/svm.c 	disable_gif(svm);
disable_gif      3838 arch/x86/kvm/svm.c 	disable_gif(svm);