mmu_check_root   3828 arch/x86/kvm/mmu.c 	if (mmu_check_root(vcpu, root_gfn))
mmu_check_root   3874 arch/x86/kvm/mmu.c 			if (mmu_check_root(vcpu, root_gfn))
mmu_check_root   4400 arch/x86/kvm/mmu.c 		if (mmu_check_root(vcpu, new_cr3 >> PAGE_SHIFT))