kvm_mmu_reload   5075 arch/x86/kvm/vmx/nested.c 		kvm_mmu_reload(vcpu);
kvm_mmu_reload   8177 arch/x86/kvm/x86.c 	r = kvm_mmu_reload(vcpu);
kvm_mmu_reload   10071 arch/x86/kvm/x86.c 	r = kvm_mmu_reload(vcpu);