vmx_set_cr3       356 arch/x86/kvm/vmx/nested.c 	vcpu->arch.mmu->set_cr3           = vmx_set_cr3;
vmx_set_cr3      7821 arch/x86/kvm/vmx/vmx.c 	.set_cr3 = vmx_set_cr3,
vmx_set_cr3      7890 arch/x86/kvm/vmx/vmx.c 	.set_tdp_cr3 = vmx_set_cr3,
vmx_set_cr3       323 arch/x86/kvm/vmx/vmx.h void vmx_set_cr3(struct kvm_vcpu *vcpu, unsigned long cr3);