pdptr            3821 arch/x86/kvm/mmu.c 	u64 pdptr, pm_mask;
pdptr            3868 arch/x86/kvm/mmu.c 			pdptr = vcpu->arch.mmu->get_pdptr(vcpu, i);
pdptr            3869 arch/x86/kvm/mmu.c 			if (!(pdptr & PT_PRESENT_MASK)) {
pdptr            3873 arch/x86/kvm/mmu.c 			root_gfn = pdptr >> PAGE_SHIFT;