init_vmcb        2154 arch/x86/kvm/svm.c 	init_vmcb(svm);
init_vmcb        2257 arch/x86/kvm/svm.c 	init_vmcb(svm);
init_vmcb        2917 arch/x86/kvm/svm.c 	init_vmcb(svm);