pdpt_gfn 700 arch/x86/kvm/x86.c gfn_t pdpt_gfn = cr3 >> PAGE_SHIFT; pdpt_gfn 706 arch/x86/kvm/x86.c ret = kvm_read_guest_page_mmu(vcpu, mmu, pdpt_gfn, pdpte,