kvm_mmu_load_cr3 5287 arch/x86/kvm/mmu.c 	kvm_mmu_load_cr3(vcpu);
kvm_mmu_load_cr3 8061 arch/x86/kvm/x86.c 			kvm_mmu_load_cr3(vcpu);