Searched refs:pdptrs (Results 1 – 5 of 5) sorted by relevance
86 return vcpu->arch.walk_mmu->pdptrs[index]; in kvm_pdptr_read()
693 u64 pdpte[ARRAY_SIZE(mmu->pdptrs)]; in load_pdptrs()711 memcpy(mmu->pdptrs, pdpte, sizeof(mmu->pdptrs)); in load_pdptrs()724 u64 pdpte[ARRAY_SIZE(vcpu->arch.walk_mmu->pdptrs)]; in pdptrs_changed()743 changed = memcmp(pdpte, vcpu->arch.walk_mmu->pdptrs, sizeof(pdpte)) != 0; in pdptrs_changed()
2886 vmcs_write64(GUEST_PDPTR0, mmu->pdptrs[0]); in ept_load_pdptrs()2887 vmcs_write64(GUEST_PDPTR1, mmu->pdptrs[1]); in ept_load_pdptrs()2888 vmcs_write64(GUEST_PDPTR2, mmu->pdptrs[2]); in ept_load_pdptrs()2889 vmcs_write64(GUEST_PDPTR3, mmu->pdptrs[3]); in ept_load_pdptrs()2898 mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()2899 mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()2900 mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()2901 mmu->pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs()
437 u64 pdptrs[4]; /* pae */ member
209 pdptrs) are now pointing at the page. While this counter is nonzero, the
