Searched refs:pdptrs (Results 1 – 4 of 4) sorted by relevance
45 return vcpu->arch.walk_mmu->pdptrs[index]; in kvm_pdptr_read()
2905 vmcs_write64(GUEST_PDPTR0, vcpu->arch.mmu.pdptrs[0]); in ept_load_pdptrs()2906 vmcs_write64(GUEST_PDPTR1, vcpu->arch.mmu.pdptrs[1]); in ept_load_pdptrs()2907 vmcs_write64(GUEST_PDPTR2, vcpu->arch.mmu.pdptrs[2]); in ept_load_pdptrs()2908 vmcs_write64(GUEST_PDPTR3, vcpu->arch.mmu.pdptrs[3]); in ept_load_pdptrs()2915 vcpu->arch.mmu.pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()2916 vcpu->arch.mmu.pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()2917 vcpu->arch.mmu.pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()2918 vcpu->arch.mmu.pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs()
437 u64 pdpte[ARRAY_SIZE(mmu->pdptrs)]; in load_pdptrs()455 memcpy(mmu->pdptrs, pdpte, sizeof(mmu->pdptrs)); in load_pdptrs()468 u64 pdpte[ARRAY_SIZE(vcpu->arch.walk_mmu->pdptrs)]; in pdptrs_changed()487 changed = memcmp(pdpte, vcpu->arch.walk_mmu->pdptrs, sizeof(pdpte)) != 0; in pdptrs_changed()
286 u64 pdptrs[4]; /* pae */ member