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;