svm_set_cr4      3460 arch/x86/kvm/svm.c 	svm_set_cr4(&svm->vcpu, hsave->save.cr4);
svm_set_cr4      3564 arch/x86/kvm/svm.c 	svm_set_cr4(&svm->vcpu, nested_vmcb->save.cr4);
svm_set_cr4      7277 arch/x86/kvm/svm.c 	.set_cr4 = svm_set_cr4,