pdptrs            437 arch/x86/include/asm/kvm_host.h 	u64 pdptrs[4]; /* pae */
pdptrs             86 arch/x86/kvm/kvm_cache_regs.h 	return vcpu->arch.walk_mmu->pdptrs[index];
pdptrs           2858 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(GUEST_PDPTR0, mmu->pdptrs[0]);
pdptrs           2859 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(GUEST_PDPTR1, mmu->pdptrs[1]);
pdptrs           2860 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(GUEST_PDPTR2, mmu->pdptrs[2]);
pdptrs           2861 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(GUEST_PDPTR3, mmu->pdptrs[3]);
pdptrs           2870 arch/x86/kvm/vmx/vmx.c 		mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0);
pdptrs           2871 arch/x86/kvm/vmx/vmx.c 		mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1);
pdptrs           2872 arch/x86/kvm/vmx/vmx.c 		mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2);
pdptrs           2873 arch/x86/kvm/vmx/vmx.c 		mmu->pdptrs[3] = vmcs_read64(GUEST_PDPTR3);
pdptrs            704 arch/x86/kvm/x86.c 	u64 pdpte[ARRAY_SIZE(mmu->pdptrs)];
pdptrs            722 arch/x86/kvm/x86.c 	memcpy(mmu->pdptrs, pdpte, sizeof(mmu->pdptrs));
pdptrs            735 arch/x86/kvm/x86.c 	u64 pdpte[ARRAY_SIZE(vcpu->arch.walk_mmu->pdptrs)];
pdptrs            754 arch/x86/kvm/x86.c 	changed = memcmp(pdpte, vcpu->arch.walk_mmu->pdptrs, sizeof(pdpte)) != 0;