enable_gif       1692 arch/x86/kvm/svm.c 	enable_gif(svm);
enable_gif       3639 arch/x86/kvm/svm.c 	enable_gif(svm);
enable_gif       3824 arch/x86/kvm/svm.c 	enable_gif(svm);